Displaying 2 results from an estimated 2 matches for "b516d3a6".
2010 Jan 15
0
[LLVMdev] [PATCH] - Union types, attempt 2
...ariants of a union type
> don't have any natural ordering, so list semantics could cause problems.
>
> Regards,
> Jo
>
--
-- Talin
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20100115/b516d3a6/attachment.html>
2010 Jan 15
2
[LLVMdev] [PATCH] - Union types, attempt 2
Talin schrieb:
> Well, the fact that union members have to be indexed by number means
> that the ordering has to be part of the type - so even though
> type-theoretically union { i32, float } is the same as union { float,
> i32 }, in my implementation they are distinct types. However, from the
> standpoint of a frontend, this is not a great concern, because the
> frontend