[LLVMdev] ML types in LLVM

[Florian Weimer]

* Wesley W. Terpstra:

>> Logically, what you want is a distinct LLVM type for every ML union type
>> and each of its constructors.  Unfortunately, LLVM does structural
>> uniquing of types, so that won't work.
>
> Is there absolutely no way to generate a new type? Not even an
> 'opaque' one?

Is this really a problem for MLton?  I think you only get less precise
alias analysis, and that's it.