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

--- 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 The judgement subtype-itemtype(Ai, Bi)):

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.

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

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:57:41 UTC