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

[Bug 20631] [F+O 3.0] The "numeric" pseudo-type

From: <bugzilla@jessica.w3.org>
Date: Thu, 10 Jan 2013 12:22:22 +0000
To: public-qt-comments@w3.org
Message-ID: <bug-20631-523-WIztLBwkJc@http.www.w3.org/Bugs/Public/>
https://www.w3.org/Bugs/Public/show_bug.cgi?id=20631

--- Comment #1 from Michael Kay <mike@saxonica.com> ---
Actually, it should be union(xs:double, xs:float, xs:decimal) in that order.

The current rule in the function calling rules that says

<quote>For built-in functions where the expected type is specified as numeric,
arguments of type xs:untypedAtomic are cast to xs:double.</quote>

can then be removed; this will happen automatically by virtue of the existing
rules applying to all union types. Because xs:double is the first type listed
in the union, and because the lexical space of xs:double is a superset of the
lexical space of xs:float and xs:decimal, the cast will always either return an
xs:double, or will fail. So there is no change from the existing behaviour.

-- 
You are receiving this mail because:
You are the QA Contact for the bug.
Received on Thursday, 10 January 2013 12:22:23 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Thursday, 10 January 2013 12:22:23 GMT