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

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