3194 2006-05-04 05:15:13 +0000 [FS] editorial: 5.15 Function Declaration 2007-09-21 01:04:08 +0000 1 1 1 Unclassified XPath / XQuery / XSLT Formal Semantics 1.0 Candidate Recommendation All All CLOSED FIXED P2 minor --- 1 jmdyck jmdyck public-qt-comments oldest_to_newest 9591 0 jmdyck 2006-05-04 05:15:13 +0000 5.15 Function Declaration SCP / rule 1 / premise 2 "statEnv1 = statEnv + funcType(expanded-QName => FunctionDecl)" Missing arity. Change 'expanded-QName' to 'expanded-QName,n'. s/FunctionDecl/FunctionSig/ SCP / rule 1 / conclusion statEnv |- FunctionDecl =>stat statEnv1 Expand FunctionDecl to expose QName (for premise 1) and arity and param types (to construct FunctionSig for premise 2). 14200 1 jim.melton 2007-02-26 00:12:46 +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). 15120 2 jmdyck 2007-05-18 17:59:54 +0000 In the Rec, the rule in question now appears in section 5. There, all of the above points have been implemented, except for this: 5 Modules and Prologs Notation 3 / rule 4 / premise 8 "statEnv1 = statEnv + funcType(expanded-QName => FunctionSig)" Missing arity. Change 'expanded-QName' to 'expanded-QName,n'. 16744 3 jmdyck 2007-09-21 01:03:55 +0000 The remaining issue has been resolved by the fix for FS erratum E006. That fix has been committed to the source files for the next edition of the FS document. Consequently, I'm marking this issue resolved-FIXED, and CLOSED.