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

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 UTC