[Bug 24569] Least common types and lattices

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

--- Comment #3 from Michael Kay <mike@saxonica.com> ---
The only XSD union types that are item types are "pure union types" as defined
in 

http://www.w3.org/TR/xpath-30/#dt-pure-union-type

I believe it is a consequence of the rules in

http://www.w3.org/TR/xpath-30/#id-itemtype-subtype

that given two union types U = union(A, B) and V = union(B, A), then U and V
are "equal" in the type graph, that is, they are subtypes of each other and
they have the same supertypes and subtypes, even though they are distinct in
the sense that they define different cast operations on strings.

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

Received on Friday, 7 February 2014 09:31:21 UTC