W3C home > Mailing lists > Public > public-qt-comments@w3.org > January 2013

[Bug 20632] [XP 3.0] Transitivity of subtype relationships

From: <bugzilla@jessica.w3.org>
Date: Tue, 22 Jan 2013 17:03:45 +0000
To: public-qt-comments@w3.org
Message-ID: <bug-20632-523-dos3nVuX4C@http.www.w3.org/Bugs/Public/>
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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 22 January 2013 17:03:47 GMT