[LLVMdev] ML types in LLVM
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