[Bug 29676] [QT3TS] map-entry-001-hof

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

--- Comment #4 from Tim Mills <tim@cbcl.co.uk> ---
See rule 35 in 2.5.6.2 The judgement subtype-itemtype(Ai, Bi).

Ai is map(K, V), and Bi is function(xs:anyAtomicType) as V?.

The test asserts

     <assert-type>map(xs:string, xs:integer+)</assert-type>

so we know that 

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

should hold, and therefore by rule 26,

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

should hold.

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