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

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

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