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 1965 - [FS] technical: 5.15 Function Declaration: missing checks
Summary: [FS] technical: 5.15 Function Declaration: missing checks
Status: CLOSED FIXED
Alias: None
Product: XPath / XQuery / XSLT
Classification: Unclassified
Component: Formal Semantics 1.0 (show other bugs)
Version: Last Call drafts
Hardware: All All
: P2 normal
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: 2005-09-02 00:41 UTC by Michael Dyck
Modified: 2005-09-27 08:32 UTC (History)
0 users

See Also:

Attachments

Description Michael Dyck 2005-09-02 00:41:02 UTC 
5.15 Function Declaration

STA / rule 2
    Even though the FunctionDecl doesn't have a body, presumably the
    parameter-names and parameter-types still have to be valid. Thus,
    this rule should have all but the last two premises of the
    previous rule.
Comment 1 Jerome Simeon 2005-09-06 15:42:44 UTC 
Yes I agree, the rule should look like:

statEnv |- VarRef1 of var expands to Variable1
...
statEnv |- VarRefn of var expands to Variablen
statEnv |- [SequenceType1]sequencetype = Type1
...
statEnv |- [SequenceTypen]sequencetype = Typen
statEnv |- [SequenceTyper]sequencetype = Typer
----------------------------------------------
statEnv |- declare function QName (VarRef1 as SequenceType1, ยทยทยท, VarRefn as
SequenceTypen) as SequenceTyper { Expr } : Typer

Maybe we should factorize those two rules the same way we factorize
function calls...

- Jerome
Comment 2 Jerome Simeon 2005-09-27 08:32:11 UTC 
The XSLT and XML Query Working Groups have accepted your comment and the
proposed resolution.
Best,
- Jerome