[LLVMdev] [PATCH] - Union types, attempt 2

[Chris Lattner]

On Jan 11, 2010, at 11:10 AM, Talin wrote:

> Quick question - should unions enforce that all member types are unique? I realize that a union of { i32, i32 } doesn't make sense, but should the code actually forbid this?

Either way works for me.

> As far as constants go, as long as the initializer is an exact match for one of the member types, it should be no problem.

Right, please propose a syntax and a class to use (ConstantUnion?) for it,

-Chris