[Bug 24456] New: [xslt 3.0] Subtype relationship among maps

https://www.w3.org/Bugs/Public/show_bug.cgi?id=24456

            Bug ID: 24456
           Summary: [xslt 3.0] Subtype relationship among maps
           Product: XPath / XQuery / XSLT
           Version: Last Call drafts
          Hardware: PC
                OS: All
            Status: NEW
          Severity: normal
          Priority: P2
         Component: XSLT 3.0
          Assignee: mike@saxonica.com
          Reporter: mike@saxonica.com
        QA Contact: public-qt-comments@w3.org

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.

-- 
You are receiving this mail because:
You are the QA Contact for the bug.

Received on Friday, 31 January 2014 15:37:04 UTC