3184 2006-05-03 18:44:02 +0000 [FS] editorial: 4.1.5 Function Calls 2007-09-21 00:56:03 +0000 1 1 1 Unclassified XPath / XQuery / XSLT Formal Semantics 1.0 Candidate Recommendation All All ASSIGNED P2 minor --- 1 jmdyck jmdyck public-qt-comments oldest_to_newest 9577 0 jmdyck 2006-05-03 18:44:02 +0000 4.1.5 Function Calls STA / rule (1|2|3) "statEnv |- expanded-QName(Type1, ..., Typen) : Type" You need a Notation section that declares this form of judgment. DEv / rule 1 / premise 5 DEv / rule 3 / premise 4 statEnv.funcType(expanded-QName) = FunctionSig After "expanded-QName", insert ",n". DEv / rule 3 / premise 4 "statEnv.funcType1" Change to "statEnv1.funcType" 14195 1 jim.melton 2007-02-26 00:11:23 +0000 The fix for this bug does not appear in the Recommendation of 23 January 2007. It will be considered for a future publication (either an Errata document or some possible future version of the specification). 16742 2 jmdyck 2007-09-21 00:55:44 +0000 The second and third items in Comment #0 have been resolved by the fix for FS erratum E006.