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

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

From: <bugzilla@jessica.w3.org>
Date: Sat, 03 Jan 2015 22:36:28 +0000
To: public-qt-comments@w3.org
Message-ID: <bug-27737-523@http.www.w3.org/Bugs/Public/>
https://www.w3.org/Bugs/Public/show_bug.cgi?id=27737

            Bug ID: 27737
           Summary: [FO3.1] Casting: is xs:integer a primitive type?
           Product: XPath / XQuery / XSLT
           Version: Candidate Recommendation
          Hardware: PC
                OS: All
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Functions and Operators 3.1
          Assignee: mike@saxonica.com
          Reporter: mike@saxonica.com
        QA Contact: public-qt-comments@w3.org

This issue is raised by a test suite problem: see bug #26865.

Simply stated: section 19.1 says "These four types (including xs:integer) are
not primitive types but they are treated as primitive types in this section."
But what is "this section"? Is it 19.1, or the whole of section 19?

In particular, is xs:integer a primitive type for the purposes of section
19.3.1? The question affects which of the following two rules applies when
casting from xs:integer to a type derived from xs:decimal:

(2) When SV is an instance of a type derived by restriction from the same
primitive type as TT. This is described in 19.3.3 Casting within a branch of
the type hierarchy.

(3) When the derived type is derived, directly or indirectly, from a different
primitive type than the primitive type of ST. This is described in 19.3.4
Casting across the type hierarchy.

The difference determines whether the pattern facet on the target type is
tested against the canonical lexical representation as defined by the
xs:integer type, or the canonical lexical representation as defined by
xs:decimal. If (as in this test case) the pattern facet requires a decimal
point, then in one case casting succeeds, in the other case it fails.

-- 
You are receiving this mail because:
You are the QA Contact for the bug.
Received on Saturday, 3 January 2015 22:36:30 UTC

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