[Bug 29686] [xslt3.0] Imprecise language for rules on xsl:override

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

--- Comment #2 from Michael Kay <mike@saxonica.com> ---
The answer to the question in comment #2 is that we do have a definition of
"identical types" in 3.5.3.3:

[Definition: Types S and T are considered identical for the purpose of these
rules if and only if subtype(S, T) and subtype(T, S) both hold, where the
subtype relation is defined in Section 2.5.6.1 The judgement subtype(A, B)
XP30.]

This rule means, for example, that union(double, decimal) is the same type as
union(decimal, double).

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

Received on Thursday, 9 June 2016 17:49:04 UTC