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.Received on Wednesday, 31 August 2016 08:55:28 UTC
This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:58:01 UTC