[Bug 4377] error FOCA0006 should be allowed in K2-Literals-7

http://www.w3.org/Bugs/Public/show_bug.cgi?id=4377

           Summary: error FOCA0006 should be allowed in K2-Literals-7
           Product: XML Query Test Suite
           Version: unspecified
          Platform: PC
        OS/Version: Windows XP
            Status: NEW
          Severity: normal
          Priority: P2
         Component: XML Query Test Suite
        AssignedTo: frans.englich@telia.com
        ReportedBy: andrew.eisenberg@us.ibm.com
         QAContact: public-qt-comments@w3.org


I believe that error FOCA0006 can also be justified for this test case. The
following rules apply to this query, 0.00...01:

XQuery, 3.1 Primary Expressions:

"The value of the numeric literal is determined by casting it to the
appropriate type according to the rules for casting from xs:untypedAtomic to a
numeric type as specified in Section 17.1.1 Casting from xs:string and
xdt:untypedAtomic(FO)"

F&O, 17.1.1 Casting from xs:string and xs:untypedAtomic:

"In casting to xs:decimal or to a type derived from xs:decimal, if the value is
not too large or too small but nevertheless cannot be represented accurately
with the number of decimal digits available to the implementation, the
implementation may round to the nearest representable value or may raise a
dynamic error [err:FOCA0006]."

Received on Wednesday, 7 March 2007 20:52:33 UTC