W3C home > Mailing lists > Public > public-qt-comments@w3.org > September 2016

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

From: <bugzilla@jessica.w3.org>
Date: Wed, 21 Sep 2016 13:59:04 +0000
To: public-qt-comments@w3.org
Message-ID: <bug-29850-523-S9VRRQFoe1@http.www.w3.org/Bugs/Public/>

--- 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

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:58:02 UTC