[Bug 23229] New: too specific type tests: failing when given xs:integer instead of xs:decimal

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

            Bug ID: 23229
           Summary: too specific type tests: failing when given xs:integer
                    instead of xs:decimal
           Product: XML Query Test Suite
           Version: unspecified
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: minor
          Priority: P2
         Component: XML Query Test Suite
          Assignee: benjie.nguyen@gmail.com
          Reporter: benito@benibela.de
        QA Contact: public-qt-comments@w3.org

These tests

op-numeric-add-1
op-numeric-mod-1
op-numeric-multiply-1
op-numeric-subtract-1
op-numeric-unary-minus-1
op-numeric-unary-plus-1


all require the result of an operation on an integer value of type xs:decimal
to have the type xs:decimal.

However (as just discussed on the xquery-talk mailing list) it is legal to cast
any integer valued decimal to integer at any time, i.e.  `-xs:decimal(1)
instance of xs:integer`  or `xs:decimal(1) instance of xs:integer` might both
be true

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

Received on Thursday, 12 September 2013 23:06:28 UTC