- From: <bugzilla@jessica.w3.org>
- Date: Tue, 22 Jan 2013 17:03:45 +0000
- To: public-qt-comments@w3.org
https://www.w3.org/Bugs/Public/show_bug.cgi?id=20632 --- Comment #3 from Jonathan Robie <jonathan.robie@gmail.com> --- The Working Group decided to change the second of these two rules (the first two rules in the list under 2.5.6.2 The judgement subtype-itemtype(Ai, Bi)): <quote> 1. Ai and Bi are AtomicOrUnionTypes, and derives-from(Ai, Bi) returns true. 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. </quote> The new wording for the second rule is: 2. Ai is a pure union type, and every type t in the transitive membership of Ai satisfies subtype-itemType(t, Bi) -- You are receiving this mail because: You are the QA Contact for the bug.
Received on Tuesday, 22 January 2013 17:03:47 UTC