- From: <bugzilla@jessica.w3.org>
- Date: Thu, 20 Dec 2012 21:53:22 +0000
- To: public-qt-comments@w3.org
https://www.w3.org/Bugs/Public/show_bug.cgi?id=19504 --- Comment #14 from Jonathan Robie <jonathan.robie@gmail.com> --- I just added this - please take a look and confirm that this solves the problem. <quote> The judgement subtype-itemtype(Ai, Bi) determines if the ItemType Ai is a subtype of the ItemType Bi. Ai is a subtype of Bi if and only if at least one of the following conditions applies: 1. Ai and Bi are AtomicOrUnionTypes, and derives-from(Ai, Bi) returns true. <add> 2. Ai and Bi are both [pure union types], and every type t in the transitive membership of Ai is also in the transitive membership of Bi. </add> !!! SNIP !!! </quote> -- You are receiving this mail because: You are the QA Contact for the bug.
Received on Thursday, 20 December 2012 21:53:24 UTC