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

[Bug 30169] [XP31] Definition of pure union type allows unions with unions that have lists

From: <bugzilla@jessica.w3.org>
Date: Mon, 28 Aug 2017 22:18:35 +0000
To: public-qt-comments@w3.org
Message-ID: <bug-30169-523-7ctHKjPSsp@http.www.w3.org/Bugs/Public/>
https://www.w3.org/Bugs/Public/show_bug.cgi?id=30169

Michael Kay <mike@saxonica.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |mike@saxonica.com

--- Comment #1 from Michael Kay <mike@saxonica.com> ---
I don't think there is a bug here.

If a union type U includes a union type V in its transitive membership, and V
has a list type L in its transitive membership, then L is also in the
transitive membership of U, so U is not a pure union type, under rule (3).

-- 
You are receiving this mail because:
You are the QA Contact for the bug.
Received on Monday, 28 August 2017 22:18:38 UTC

This archive was generated by hypermail 2.3.1 : Monday, 28 August 2017 22:18:38 UTC