[Bug 29850] [FO31] Functions having the "same signature"

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

--- Comment #2 from Michael Kay <mike@saxonica.com> ---
I have extended the Note to say:

<noteUnder this definition, a union type with <code>memberTypes="xs:double
xs:decimal"</code> is identical to a union type with
<code>memberTypes="xs:decimal xs:double"</code>. However, two functions whose
signatures differ in this way will probably be deemed non-identical under rule
(e) below, because the two functions are likely to have different effect when
invoked with an argument of type <code>xs:untypedAtomic</code>.</p></note>


This might appear to be a bit convoluted. We could try and define a relation
between types in which the order of member types of a union type is
significant. But I would much prefer to make maximal use of the definitions we
already have, and this definition seems to work for the (very limited) purposes
for which it is needed.

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

Received on Wednesday, 21 September 2016 13:59:16 UTC