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 3143 - [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: Jerome Simeon
QA Contact: Mailing list for public feedback on specs from XSL and XML Query WGs
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2006-04-21 21:26 UTC by Michael Dyck
Modified: 2007-01-16 17:48 UTC (History)
0 users

See Also:

Attachments

Description Michael Dyck 2006-04-21 21:26:16 UTC 
5.15 Function Declaration

SCP / rule 1 / premise 2
statEnv1 = statEnv + funcType(expanded-QName => FunctionDecl)
    funcType maps to FunctionSigs, not FunctionDecls. So the rule will have to
    construct the FunctionSig corresponding to FunctionDecl.

[Follow-up to Bug 1742.]
Comment 1 Jerome Simeon 2006-04-24 14:52:54 UTC 
Reclassified as minor, since this is editorial.
- Jerome
Comment 2 Jerome Simeon 2006-04-24 22:59:31 UTC 
Fixed the misuse of FunctionDecl instead of FunctionSig, relying on a new auxiliary judgment which computes the static type of a function declaration along with its signature.

Also fixed a similar problem in 4.1.5 Function Calls, following the fix for Bug #1680.

- Jerome