<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Tue, Jun 3, 2014 at 1:29 PM, Rafael Espíndola <span dir="ltr"><<a href="mailto:rafael.espindola@gmail.com" target="_blank">rafael.espindola@gmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="">> It looks fairly likely llvm will accept arbitrary expressions as<br>
> aliasees again (see thread on llvmdev), but the restrictions inherent<br>
> from what alias are at the object level will remain, just be reworded<br>
> a bit. For example, we will have something along the lines of "the<br>
> aliasee expression cannot contain an undefined GlobalValue".<br>
<br>
</div>And this is in: r210062.<br>
<br>
Let us know how it looks from GHC's point of view.</blockquote><div><br></div><div>I think we might be able to relax our restrictions against aliases referring to declarations if the alias is private.  If the alias is private, then the label never appears in the object file.  The alias is merely a Constant with an internal name.  What do you think?</div>
</div></div></div>