W3C home > Mailing lists > Public > public-qt-comments@w3.org > March 2015

[Bug 28319] [FO30] (and [FO31]) Text on least common type and conversion in fn:min and fn:max ambiguous

From: <bugzilla@jessica.w3.org>
Date: Tue, 24 Mar 2015 14:54:12 +0000
To: public-qt-comments@w3.org
Message-ID: <bug-28319-523-Vf9cEDZIAT@http.www.w3.org/Bugs/Public/>

--- Comment #6 from Michael Kay <mike@saxonica.com> ---
Abel wrote:

>max((xs:integer(12), xs:decimal(10))) instance of xs:integer

>will return FALSE in FO30 (tested with Saxon) but will return TRUE with the new
text of FO31.

The result of this test is implementation-dependent in FO30. The spec
guarantees that you will get an xs:decimal, but an implementation is always
permitted to return a subtype of what the spec requires, so returning an
xs:integer (and thus returning TRUE) is permitted. 

>I do not know if this warrants a comment in the changes section of the spec, but it is a change that in rare edge cases has different results.

There is already such a comment in Appendix G.

You are receiving this mail because:
You are the QA Contact for the bug.
Received on Tuesday, 24 March 2015 14:54:17 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:57:53 UTC