[LLVMdev] GHC, aliases, and LLVM HEAD

Rafael Espíndola
Wed, 23 Jul 2014 15:24:43 -0000

> Any word on this? As far as I can tell we are stuck on the GHC side
> until we can alias declarations due to the existence of untyped external
> references in the C-- representation.

I still have the same objections to having alias to declarations when
they are not supported in the object file. Since they are not
supported in the object file, they must be removed somewhere along the
way and it is not clear the burden should be in the LLVM to Obj
transition instead of in the transition from c-- to llvm.

It is also still not clear why you need aliases at all. LLVM has
declarations and bitcasts, so like c-- it is not type safe, but unlike
c-- (from your description) casts are needed.

Cheers,
Rafael