24456 2014-01-31 15:36:58 +0000 [xslt 3.0] Subtype relationship among maps 2014-02-14 17:12:30 +0000 1 1 1 Unclassified XPath / XQuery / XSLT XSLT 3.0 Last Call drafts PC All CLOSED FIXED P2 normal --- 1 mike mike cmsmcq public-qt-comments oldest_to_newest 99537 0 mike 2014-01-31 15:36:58 +0000 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. 100253 1 cmsmcq 2014-02-11 09:13:36 +0000 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. 100596 2 mike 2014-02-14 17:12:30 +0000 Change applied.