[Bug 9319] New: op-numeric-divide-1

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

           Summary: op-numeric-divide-1
           Product: XML Query Test Suite
           Version: unspecified
          Platform: PC
        OS/Version: Windows NT
            Status: NEW
          Severity: normal
          Priority: P2
         Component: XML Query Test Suite
        AssignedTo: andrew.eisenberg@us.ibm.com
        ReportedBy: mike@saxonica.com
         QAContact: public-qt-comments@w3.org


With the results as given, a product that returns an integer as the result of
(1 div 1), or of (2.0 div 2.0), fails the test.

The language rules for such cases say that the result must be an instance of
xs:decimal; they do not say that it cannot also be an instance of xs:integer.
The general rule is that where a function is required to return a value of type
T, is is permissible to return a value annotated with a subtype of T if the
value is in the value space of the subtype. The test should be changed so that
where the result is an xs:decimal and is a whole number, returning an instance
of xs:integer is acceptable.


-- 
Configure bugmail: http://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.

Received on Thursday, 25 March 2010 09:29:34 UTC