[Bug 29220] New: map-merge-003-hof, map-entry-001-hof, map-put-003-hof

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

            Bug ID: 29220
           Summary: map-merge-003-hof, map-entry-001-hof, map-put-003-hof
           Product: XPath / XQuery / XSLT
           Version: Candidate Recommendation
          Hardware: PC
                OS: Windows NT
            Status: NEW
          Severity: normal
          Priority: P2
         Component: XQuery 3 & XPath 3 Test Suite
          Assignee: oneil@saxonica.com
          Reporter: christian.gruen@gmail.com
        QA Contact: public-qt-comments@w3.org
  Target Milestone: ---

The test case "map-merge-003-hof" contains the following query:

  map:merge(map:entry("foo", 1 to 5))

One of the tests is:

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

I believe this should be inverted to...

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

...because I think it is allowed to specify URIs as function argument:

  map:merge(map:entry("foo", 1 to 5))(xs:anyURI('x'))

However, the instance test should yield false, if the return type differs from
the type of the map values, so this would be another alternative:

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

The same observation applies to map-entry-001-hof and map-put-003-hof.

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

Received on Wednesday, 21 October 2015 15:33:30 UTC