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

[Bug 28081] New: [XP3] Named function references and the xs:numeric type

From: <bugzilla@jessica.w3.org>
Date: Mon, 23 Feb 2015 10:46:22 +0000
To: public-qt-comments@w3.org
Message-ID: <bug-28081-523@http.www.w3.org/Bugs/Public/>
https://www.w3.org/Bugs/Public/show_bug.cgi?id=28081

            Bug ID: 28081
           Summary: [XP3] Named function references and the xs:numeric
                    type
           Product: XPath / XQuery / XSLT
           Version: Candidate Recommendation
          Hardware: PC
                OS: All
            Status: NEW
          Severity: normal
          Priority: P2
         Component: XPath 3.1
          Assignee: jonathan.robie@gmail.com
          Reporter: mike@saxonica.com
        QA Contact: public-qt-comments@w3.org

Section 3.1.6 (Named Function References) contains the following text:

<quote>
Certain functions in the [XQuery and XPath Functions and Operators 3.1]
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 XPath 2.0. An implementation that supports static typing can
choose to model the types of these functions more accurately if desired.
</quote>

This is obsolete and can be deleted. Since xs:numeric has been defined as a
standard union type, there is nothing special about these functions that needs
to be said here.

-- 
You are receiving this mail because:
You are the QA Contact for the bug.
Received on Monday, 23 February 2015 10:46:24 UTC

This archive was generated by hypermail 2.3.1 : Monday, 23 February 2015 10:46:25 UTC