[Bug 29420] New: [QT3] K2-SeqSUMFunc-4 and xs:unsignedShort vs xs:integer result

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

            Bug ID: 29420
           Summary: [QT3] K2-SeqSUMFunc-4 and xs:unsignedShort vs
                    xs:integer result
           Product: XPath / XQuery / XSLT
           Version: Recommendation
          Hardware: PC
                OS: Windows NT
            Status: NEW
          Severity: normal
          Priority: P2
         Component: XQuery 3 & XPath 3 Test Suite
          Assignee: oneil@saxonica.com
          Reporter: abel.braaksma@xs4all.nl
        QA Contact: public-qt-comments@w3.org
  Target Milestone: ---

This test assumes that the fn:sum function retains type while in fact I think
that the only requirement of the fn:sum function, which is defined in terms of
the addition operator, is that the result is one of xs:double, xs:float,
xs:decimal, xs:integer. I think that implementations are allowed leniency in
optimizing more restrictive types away.

Hence the result is allowed to be false. I suggest an alternative result, or
rewrite the test to:

sum(xs:unsignedShort("1")) instance of xs:unsignedShort or 
sum(xs:unsignedShort("1")) instance of xs:integer

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

Received on Friday, 5 February 2016 15:05:31 UTC