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

[Bug 19504] [QT3TS] instanceof139

From: <bugzilla@jessica.w3.org>
Date: Sat, 13 Oct 2012 10:24:48 +0000
To: public-qt-comments@w3.org
Message-ID: <bug-19504-523-egQnmIESGf@http.www.w3.org/Bugs/Public/>
https://www.w3.org/Bugs/Public/show_bug.cgi?id=19504

--- Comment #7 from Tim Mills <tim@cbcl.co.uk> ---
Since a value's dynamic type will never be a union type, but rather one of the
union's member types, using derives-from with AT (actual type) being a union
type seems a tad strange.

I think things would hang together better if either the anomaly you pointed out
regarding A being substitutable for union(A,B) didn't hold,, or if union(A,B)
were substitutable for union(A,B,C).  This halfway house leaves things a little
incoherent.

-- 
You are receiving this mail because:
You are the QA Contact for the bug.
Received on Saturday, 13 October 2012 10:24:49 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Saturday, 13 October 2012 10:24:50 GMT