[Bug 19504] [QT3TS] instanceof139


--- Comment #3 from Tim Mills <tim@cbcl.co.uk> ---
I've just looked back at the formal semantics.

The judgment

statEnv |- Type1 <: Type2

holds if the first type is a subtype of the second.


This judgment is true if and only if, for every value Value, if Value matches
Type1 holds, then Value matches Type2 also holds.

You say

"it's obvious to you and me that the set of instances of union(A,B) is a subset
of the instances of union(A, B, C, D)"

and thus this subtype relationship has to hold.  Hence I think we have a

You are receiving this mail because:
You are the QA Contact for the bug.

Received on Friday, 12 October 2012 16:12:22 UTC