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

[Bug 27737] [FO3.1] Casting: is xs:integer a primitive type?

From: <bugzilla@jessica.w3.org>
Date: Sun, 04 Jan 2015 13:58:03 +0000
To: public-qt-comments@w3.org
Message-ID: <bug-27737-523-6ZJJvro9O8@http.www.w3.org/Bugs/Public/>
https://www.w3.org/Bugs/Public/show_bug.cgi?id=27737

--- Comment #2 from Michael Kay <mike@saxonica.com> ---
I think there is an additional, much more convincing, reason why casting
between types derived from integer and decimal should follow 19.3.4 (casting
across the type hierarchy) rather than 19.3.3 (casting within a branch).
Consider

12.01 cast as xs:positiveInteger

Since (12.01 cast as xs:integer) succeeds, it seems reasonable that 12.01 cast
as xs:positiveInteger should also succeed. This will be true only if we follow
19.3.4.

Furthermore, if after this length of time we are clarifying an ambiguity in the
spec, we should lean towards the more permissive interpretation, i.e. not
stopping things from working that on one reading of the spec should currently
work.

-- 
You are receiving this mail because:
You are the QA Contact for the bug.
Received on Sunday, 4 January 2015 13:58:11 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 15:46:00 UTC