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 1582 - [FS] technical: 4.1.5 Function Calls: return-promotion for imported fns
Summary: [FS] technical: 4.1.5 Function Calls: return-promotion for imported fns
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-07-14 04:14 UTC by Michael Dyck
Modified: 2005-09-27 08:28 UTC (History)
0 users

See Also:

Attachments

Description Michael Dyck 2005-07-14 04:14:37 UTC 
4.1.5 Function Calls

DEv / rule 2
    This rule is missing a premise to promote Value' to the function's
    return type. Also, the DErr section is missing the corresponding rule
    to raise a type error if the promotion cannot be done.  Note that
    XQuery 3.1.5 specifically says the premise must be satisfied twice,
    once for defining module and once for calling module.
Comment 1 Jerome Simeon 2005-07-27 13:02:56 UTC 
Agreed. The error part is now moot. The remaining of that comment is addressed
following the proposal in:

http://www.w3.org/Bugs/Public/show_bug.cgi?id=1583

- Jerome
Comment 2 Jerome Simeon 2005-09-27 08:28:06 UTC 
The working groups have adopted the (amended) proposal in Bug #1583, which also
addresses this bug.
Best,
- Jerome