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

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

Andrew Eisenberg <andrew.eisenberg@us.ibm.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |andrew.eisenberg@us.ibm.com

--- Comment #2 from Andrew Eisenberg <andrew.eisenberg@us.ibm.com> ---
This issue is addressed in 3.1.6 Named Function References:

Certain functions in the [XQuery and XPath Functions and Operators 3.0]
specification are defined to be polymorphic. These are denoted as accepting
parameters of "numeric" type, or returning "numeric" type. Here "numeric" is a
pseudonym for the four primitive numeric types xs:decimal, xs:integer,
xs:float, and xs:double. For the purposes of named function references, these
functions are regarded as taking arguments and producing results of type
xs:anyAtomicType, with a type error raised at runtime if the argument value
provided is not of the correct numeric type.

Note:

The above way of modeling polymorphic functions is semantically backwards
compatible with XQuery 1.0. An implementation that supports static typing can
choose to model the types of these functions more accurately if desired.

-- 
You are receiving this mail because:
You are the QA Contact for the bug.

Received on Monday, 14 January 2013 15:19:07 UTC