[Bug 29400] New: fn-avgflt2args-1 result type

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

            Bug ID: 29400
           Summary: fn-avgflt2args-1 result type
           Product: XPath / XQuery / XSLT
           Version: Candidate Recommendation
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: normal
          Priority: P2
         Component: XQuery 3 & XPath 3 Test Suite
          Assignee: oneil@saxonica.com
          Reporter: benito@benibela.de
        QA Contact: public-qt-comments@w3.org
  Target Milestone: ---

The assertions for the test
fn:avg((xs:float("-3.4028235E38"),xs:float("-3.4028235E38"))) accept the value
-3.4028235E38 as valid.

However, -3.4028235E38 is an xs:double and thus not equal to
xs:float("-3.4028235E38"). Even casting the input sequence to double would not
return xs:double("-3.4028235E38"), but xs:double(xs:float("-3.4028235E38"))
which is xs:double("-3.4028234663852885E38")

So it should allow xs:float("-3.4028235E38") instead, and perhaps not allow
-3.4028235E38

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

Received on Thursday, 28 January 2016 23:06:16 UTC