[Bug 28063] New: [QT3] map/put/put-003

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

            Bug ID: 28063
           Summary: [QT3] map/put/put-003
           Product: XPath / XQuery / XSLT
           Version: Candidate Recommendation
          Hardware: PC
                OS: All
            Status: NEW
          Severity: normal
          Priority: P2
         Component: XQuery 3 & XPath 3 Test Suite
          Assignee: oneil@saxonica.com
          Reporter: mike@saxonica.com
        QA Contact: public-qt-comments@w3.org

Test case map/put/put-003 returns a map and asserts:

<assert-type>function(xs:string) as xs:integer*</assert-type>

But the spec says in 2.5.5.8: "The function signature of the map, treated as a
function, is always function(xs:anyAtomicType) as item()*, regardless of the
actual types of the keys and values in the map. This means that a function item
type with a more specific return type, such as function(xs:anyAtomicType) as
xs:integer, does not match a map in the sense required to satisfy the instance
of operator."

So this assertion should be false.

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

Received on Friday, 20 February 2015 15:09:14 UTC