I actually liked the patch you posted on IRC better. It modified the mangling while it was being stored on FunctionType, which means mangling code (and code gen?) don't need to me modified. This one is duplicating the same logic in both mangling and code-gen.<div>

<br></div><div>On Fri, Sep 7, 2012 at 1:58 AM, John McCall <span dir="ltr"><<a href="mailto:rjmccall@apple.com" target="_blank">rjmccall@apple.com</a>></span> wrote:<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">

How ignored is it, exactly?  Is it still checked syntactically? for<br>redundancy? in the type system at all?<br><br>Basically, I'm asking if we can #define it. :)<br><br>John.</blockquote><div><br></div><div>Won't we lose the type information on the AST then? And have the problems Aaron mentioned such as incorrect behavior when pretty-printing or rewriting code.</div>

<div><div><div><br></div>-- <br>João Matos<br>
</div></div></div>