This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.

Bug 3194 - [FS] editorial: 5.15 Function Declaration
Summary: [FS] editorial: 5.15 Function Declaration
Status: CLOSED FIXED
Alias: None
Product: XPath / XQuery / XSLT
Classification: Unclassified
Component: Formal Semantics 1.0 (show other bugs)
Version: Candidate Recommendation
Hardware: All All
: P2 minor
Target Milestone: ---
Assignee: Michael Dyck
QA Contact: Mailing list for public feedback on specs from XSL and XML Query WGs
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2006-05-04 05:15 UTC by Michael Dyck
Modified: 2007-09-21 01:04 UTC (History)
0 users

See Also:

Attachments

Description Michael Dyck 2006-05-04 05:15:13 UTC 
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).
Comment 1 Jim Melton 2007-02-26 00:12:46 UTC 
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).
Comment 2 Michael Dyck 2007-05-18 17:59:54 UTC 
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'.
Comment 3 Michael Dyck 2007-09-21 01:03:55 UTC 
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.