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/>

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.4.0 : Friday, 17 January 2020 16:58:04 UTC