W3C home > Mailing lists > Public > public-qt-comments@w3.org > September 2005

[Bug 1965] [FS] technical: 5.15 Function Declaration: missing checks

From: <bugzilla@wiggum.w3.org>
Date: Tue, 06 Sep 2005 15:42:44 +0000
To: public-qt-comments@w3.org
Cc:
Message-Id: <E1ECfau-0006Df-UO@wiggum.w3.org>

http://www.w3.org/Bugs/Public/show_bug.cgi?id=1965





------- Additional Comments From simeon@us.ibm.com  2005-09-06 15:42 -------
Yes I agree, the rule should look like:

statEnv |- VarRef1 of var expands to Variable1
...
statEnv |- VarRefn of var expands to Variablen
statEnv |- [SequenceType1]sequencetype = Type1
...
statEnv |- [SequenceTypen]sequencetype = Typen
statEnv |- [SequenceTyper]sequencetype = Typer
----------------------------------------------
statEnv |- declare function QName (VarRef1 as SequenceType1, иии, VarRefn as
SequenceTypen) as SequenceTyper { Expr } : Typer

Maybe we should factorize those two rules the same way we factorize
function calls...

- Jerome
Received on Tuesday, 6 September 2005 15:42:53 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:57:08 UTC