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 3184 - [FS] editorial: 4.1.5 Function Calls
Summary: [FS] editorial: 4.1.5 Function Calls
Status: ASSIGNED
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-03 18:44 UTC by Michael Dyck
Modified: 2007-09-21 00:56 UTC (History)
0 users

See Also:

Attachments

Description Michael Dyck 2006-05-03 18:44:02 UTC 
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"
Comment 1 Jim Melton 2007-02-26 00:11:23 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-09-21 00:55:44 UTC 
The second and third items in Comment #0 have been resolved by the fix for FS erratum E006.