- From: <bugzilla@wiggum.w3.org>
- Date: Tue, 06 Sep 2005 15:42:44 +0000
- To: public-qt-comments@w3.org
- Cc:
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