W3C home > Mailing lists > Public > public-qt-comments@w3.org > December 2012

[Bug 19504] [QT3TS] instanceof139

From: <bugzilla@jessica.w3.org>
Date: Thu, 20 Dec 2012 21:53:22 +0000
To: public-qt-comments@w3.org
Message-ID: <bug-19504-523-W03A398LLK@http.www.w3.org/Bugs/Public/>

--- Comment #14 from Jonathan Robie <jonathan.robie@gmail.com> ---
I just added this - please take a look and confirm that this solves the

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.

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.

!!! SNIP !!!

You are receiving this mail because:
You are the QA Contact for the bug.
Received on Thursday, 20 December 2012 21:53:24 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 15:45:51 UTC