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

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

            Bug ID: 29572
           Summary: too specific type tests: failing when given xs:integer
                    instead of xs:decimal
           Product: XPath / XQuery / XSLT
           Version: Working drafts
          Hardware: PC
                OS: All
            Status: NEW
          Severity: normal
          Priority: P2
         Component: XQuery 3 & XPath 3 Test Suite
          Assignee: oneil@saxonica.com
          Reporter: oneil@saxonica.com
        QA Contact: public-qt-comments@w3.org
  Target Milestone: ---

The bug #23229 has been transferred to the QT3:

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 Tuesday, 12 April 2016 13:43:44 UTC