https://www.w3.org/Bugs/Public/show_bug.cgi?id=19504 --- 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. Semantics 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 problem. -- You are receiving this mail because: You are the QA Contact for the bug.Received on Friday, 12 October 2012 16:12:22 UTC
This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:57:40 UTC