Fix bug #28

w3c · Aug 24, 2020 · c77205f · c77205f
1 parent 4a0461a
commit c77205f
Showing 1 changed file with 92 additions and 1 deletion.
diff --git a/prod/MapTest.xml b/prod/MapTest.xml
@@ -429,16 +429,107 @@
       <description>Map as a function of xs:anyAtomicType</description>
       <created by="Michael Kay after Christian Gruen" on="2019-09-06"/>
       <modified by="Michael Kay" on="2020-01-14" change="Test requires XQuery; change dependencies"/>
+      <modified by="Michael Kay" on="2020-08-23" change="See https://github.com/w3c/qt3tests/issues/28"/>
       <environment ref="map"/>
       <dependency type="spec" value="XQ31+"/>
-      <test>let $s as function(xs:anyAtomicType) as xs:string := map { 1:'A','x':'B' }
+      <test>let $s as function(xs:anyAtomicType) as xs:string? := map { 1:'A','x':'B' }
             return $s?*
       </test>
       <result>
          <assert-permutation>'A', 'B'</assert-permutation>
       </result>
    </test-case>
 
+   <test-case name="MapTest-059" covers="map-general">
+      <description>Map as a function, invoking transitivity (see https://github.com/w3c/qt3tests/issues/28)</description>
+      <created by="Michael Kay" on="2020-08-23"/>
+      <environment ref="map"/>
+      <dependency type="spec" value="XP31+ XQ31+"/>
+      <test>map { 1:'A','x':'B' } instance of function(xs:integer) as xs:string?</test>
+      <result>
+         <assert-true/>
+      </result>
+   </test-case>
+
+   <test-case name="MapTest-060" covers="map-general">
+      <description>Map as a function, invoking transitivity (see https://github.com/w3c/qt3tests/issues/28)</description>
+      <created by="Michael Kay" on="2020-08-23"/>
+      <environment ref="map"/>
+      <dependency type="spec" value="XP31+ XQ31+"/>
+      <test>map { 1:'A','x':'B' } instance of function(xs:integer) as item()*</test>
+      <result>
+         <assert-true/>
+      </result>
+   </test-case>
+
+   <test-case name="MapTest-061" covers="map-general">
+      <description>Map as a function, invoking transitivity (see https://github.com/w3c/qt3tests/issues/28)</description>
+      <created by="Michael Kay" on="2020-08-23"/>
+      <environment ref="map"/>
+      <dependency type="spec" value="XP31+ XQ31+"/>
+      <test>map { 1:'A','x':'B' } instance of function(xs:integer) as xs:string</test>
+      <result>
+         <assert-false/>
+      </result>
+   </test-case>
+
+   <test-case name="MapTest-062" covers="map-general">
+      <description>Map as a function, invoking transitivity (see https://github.com/w3c/qt3tests/issues/28)</description>
+      <created by="Michael Kay" on="2020-08-23"/>
+      <environment ref="map"/>
+      <dependency type="spec" value="XP31+ XQ31+"/>
+      <test>map { 1:'A','x':'B' } instance of function(xs:integer) as item()+</test>
+      <result>
+         <assert-false/>
+      </result>
+   </test-case>
+
+   <test-case name="MapTest-063" covers="map-general">
+      <description>Map as a function, invoking transitivity (see https://github.com/w3c/qt3tests/issues/28)</description>
+      <created by="Michael Kay" on="2020-08-23"/>
+      <environment ref="map"/>
+      <dependency type="spec" value="XP31+ XQ31+"/>
+      <test>map {} instance of function(xs:integer) as empty-sequence()</test>
+      <result>
+         <assert-true/>
+      </result>
+   </test-case>
+
+   <test-case name="MapTest-064" covers="map-general">
+      <description>Map as a function, invoking transitivity (see https://github.com/w3c/qt3tests/issues/28)</description>
+      <created by="Michael Kay" on="2020-08-23"/>
+      <environment ref="map"/>
+      <dependency type="spec" value="XP31+ XQ31+"/>
+      <test>map {12: ()} instance of function(xs:decimal) as empty-sequence()</test>
+      <result>
+         <assert-true/>
+      </result>
+   </test-case>
+
+   <test-case name="MapTest-065" covers="map-general">
+      <description>Map as a function, invoking transitivity (see https://github.com/w3c/qt3tests/issues/28)</description>
+      <created by="Michael Kay" on="2020-08-23"/>
+      <environment ref="map"/>
+      <dependency type="spec" value="XP31+ XQ31+"/>
+      <test>map {12: ()} instance of function(xs:decimal) as xs:string*</test>
+      <result>
+         <assert-true/>
+      </result>
+   </test-case>
+
+   <test-case name="MapTest-066" covers="map-general">
+      <description>Map as a function, invoking transitivity (see https://github.com/w3c/qt3tests/issues/28)</description>
+      <created by="Michael Kay" on="2020-08-23"/>
+      <environment ref="map"/>
+      <dependency type="spec" value="XP31+ XQ31+"/>
+      <test>map {12: "z"} instance of function(xs:decimal) as xs:string</test>
+      <result>
+         <assert-false/>
+      </result>
+   </test-case>
+
+
+