[LLVMdev] ML types in LLVM

Florian Weimer fw at deneb.enyo.de
Sun Jun 14 01:50:29 PDT 2009

* 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.

More information about the llvm-dev mailing list