- From: <bugzilla@jessica.w3.org>
- Date: Wed, 31 Aug 2016 08:55:13 +0000
- To: public-qt-comments@w3.org
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