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

[Bug 29586] [XP31] 2.5.6.2 The judgement subtype-itemtype(Ai, Bi)

From: <bugzilla@jessica.w3.org>
Date: Thu, 26 May 2016 08:46:26 +0000
To: public-qt-comments@w3.org
Message-ID: <bug-29586-523-KA7GPjcshm@http.www.w3.org/Bugs/Public/>
https://www.w3.org/Bugs/Public/show_bug.cgi?id=29586

--- Comment #17 from John Snelson <john.snelson@marklogic.com> ---
(In reply to Tim Mills from comment #16)
> In "2.5.5.8 Map Test", replace the text
> 
> "The function signature of the map, ... the required return type."
> 
> with
> 
> "The function signature of a map matching type map(K, V), treated as a
> function, is function(xs:anyAtomicType) as V?.  It is thus always a subtype
> of function(xs:anyAtomicType) as item()* regardless of the actual types of
> the keys and values in the map.

I think this text is unclear what to do in the case where no static typing
information is available. We need that case to be the default, and for the text
to allow a better type (a subtype of map(K,V)).

-- 
You are receiving this mail because:
You are the QA Contact for the bug.
Received on Thursday, 26 May 2016 08:46:37 UTC

This archive was generated by hypermail 2.3.1 : Thursday, 26 May 2016 08:46:37 UTC