1965 2005-09-02 00:41:02 +0000 [FS] technical: 5.15 Function Declaration: missing checks 2005-09-27 08:32:17 +0000 1 1 1 Unclassified XPath / XQuery / XSLT Formal Semantics 1.0 Last Call drafts All All CLOSED FIXED P2 normal --- 1 jmdyck simeon public-qt-comments oldest_to_newest 5682 0 jmdyck 2005-09-02 00:41:02 +0000 5.15 Function Declaration STA / rule 2 Even though the FunctionDecl doesn't have a body, presumably the parameter-names and parameter-types still have to be valid. Thus, this rule should have all but the last two premises of the previous rule. 5723 1 simeon 2005-09-06 15:42:44 +0000 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 6475 2 simeon 2005-09-27 08:32:11 +0000 The XSLT and XML Query Working Groups have accepted your comment and the proposed resolution. Best, - Jerome