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 1581 - [FS] technical: 4.1.5 Function Calls: argument promotion
Summary: [FS] technical: 4.1.5 Function Calls: argument promotion
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:13 UTC by Michael Dyck
Modified: 2005-09-06 12:59 UTC (History)
0 users

See Also:

Attachments

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

STA / rule 3
"the type of each actual argument is a subtype of some type that can be
promoted to the type of the correponding function parameter."
statEnv |- Type1 <: Type1'
statEnv |- Type1' can be promoted to Type1''
    The "middleman" Type1' is unnecessary. The first premise implies that
        statEnv |- Type1 can be promoted to Type1'
    which, with the second premise and the transitivity of promotion,
    implies that
        statEnv |- Type1 can be promoted to Type1''
    which is a more concise statement of the constraint.
Comment 1 Jerome Simeon 2005-07-27 02:16:11 UTC 
I agree. This is a simpler, and better way to write it. Thanks for picking this up.
- Jerome
Comment 2 Jerome Simeon 2005-08-31 15:24:45 UTC 
The XML Query and XLST WGs have accepted the comment and the proposed fix.
- Jerome