1742 2005-07-18 23:48:37 +0000 [FS] technical: 5.15 Function Declaration: adding FunctionDecl to statEnv 2005-09-06 13:14:20 +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 4854 0 jmdyck 2005-07-18 23:48:37 +0000 5.15 Function Declaration SCP / rule 1 / premise 2 "statEnv1 = statEnv + funcType(expanded-QName => FunctionDecl)" statEnv.funcType maps an expanded-QName to a *set* of function *signatures*, not a single FunctionDecl. So you'll need premises like: statEnv |- [[ SequenceType1 ]]_sequencetype = Type1 ... statEnv |- [[ SequenceTypen ]]_sequencetype = Typen statEnv |- [[ SequenceTyper ]]_sequencetype = Typer Sig = define function QName( Type1, ..., Typen ) return Typer statEnv.funcType(expanded-QName) = {Sig1, ..., Sigk} statEnv1 = statEnv + funcType(expanded-QName => {Sig1, ..., Sigk, Sig}) (Note that you can drop the set-related stuff if you change funcType to map to a single signature. See Bug 1580.) 5254 1 simeon 2005-07-27 15:24:04 +0000 The proposed resolution to Bug 1580 in: http://www.w3.org/Bugs/Public/show_bug.cgi?id=1580 addresses this problem. 5611 2 simeon 2005-08-31 15:30:07 +0000 The XML Query and XSLT WGs have accepted this comment, with the fix proposed in #Bug 1580. - Jerome