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 24456 - [xslt 3.0] Subtype relationship among maps
Summary: [xslt 3.0] Subtype relationship among maps
Status: CLOSED FIXED
Alias: None
Product: XPath / XQuery / XSLT
Classification: Unclassified
Component: XSLT 3.0 (show other bugs)
Version: Last Call drafts
Hardware: PC All
: P2 normal
Target Milestone: ---
Assignee: Michael Kay
QA Contact: Mailing list for public feedback on specs from XSL and XML Query WGs
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2014-01-31 15:36 UTC by Michael Kay
Modified: 2014-02-14 17:12 UTC (History)
1 user (show)

See Also:

Attachments

Description Michael Kay 2014-01-31 15:36:58 UTC 
At the end of section 21.1.1 we have

Ai is map(*) and Bi is map(K, V), for any K and V.

Ai is map(Ka, Va) and Bi is map(Kb, Vb), where subtype-itemtype(Kb, Ka) and subtype-itemtype(Vb, Va).

Ai is function(*) and Bi is map(*), (or, because of the transitivity rules, any other map type).

Ai is function(xs:anyAtomicType) as item()* and Bi is map(*), (or, because of the transitivity rules, any other map type).

I think all four rules have Ai and Bi the wrong way round.

In addition, in the second rule, subtype-itemtype(Vb, Va) should be subtype(Vb, Va) because both Vb and Va are sequence types.
Comment 1 C. M. Sperberg-McQueen 2014-02-11 09:13:36 UTC 
We discussed this at the face to face meeting in Prague, checking against the definition of the subtype-itemtype relation, and concluded that the issue description is correct and A and B need to be reversed in all four bullet points.
Comment 2 Michael Kay 2014-02-14 17:12:30 UTC 
Change applied.