W3C home > Mailing lists > Public > public-qt-comments@w3.org > August 2016

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

From: <bugzilla@jessica.w3.org>
Date: Wed, 31 Aug 2016 08:55:13 +0000
To: public-qt-comments@w3.org
Message-ID: <bug-29676-523-tQDI51s3Pj@http.www.w3.org/Bugs/Public/>
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