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

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

From: <bugzilla@jessica.w3.org>
Date: Tue, 03 May 2016 14:45:02 +0000
To: public-qt-comments@w3.org
Message-ID: <bug-29586-523-7G9v1xrodf@http.www.w3.org/Bugs/Public/>
https://www.w3.org/Bugs/Public/show_bug.cgi?id=29586

--- Comment #9 from John Snelson <john.snelson@marklogic.com> ---
(In reply to Tim Mills from comment #7)
> I'm missing something here, because this seems contradicatory.  Could you
> also please elaborate on what breaks?

Map types are not contravariant in the type of their keys, but function types
are contravariant in the types of their arguments. Therefore map SequenceTypes
cannot be considered to be subtypes of specific (ie: not function(*)) function
SequenceTypes.

-- 
You are receiving this mail because:
You are the QA Contact for the bug.
Received on Tuesday, 3 May 2016 14:45:07 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 3 May 2016 14:45:07 UTC