- From: <bugzilla@jessica.w3.org>
- Date: Mon, 28 Aug 2017 22:18:35 +0000
- To: public-qt-comments@w3.org
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