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

This archive was generated by hypermail 2.2.0+W3C-0.50 : Thursday, 20 December 2012 21:53:24 GMT