<div dir="ltr">On 21 June 2013 18:35, David Blaikie <span dir="ltr"><<a href="mailto:dblaikie@gmail.com" target="_blank">dblaikie@gmail.com</a>></span> wrote:<br><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div class="im"><span style="color:rgb(34,34,34)">using the actual language mangling's probably a</span> <span style="color:rgb(34,34,34)">good idea</span></div></blockquote><div><br></div><div style>Yup, sounds good.</div>
<div style><br></div><div style><br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im"><span style="color:rgb(34,34,34)">That's the invariant, yes. Named metadata are the roots of the</span><br>
</div>
glorious metadata tree from which the debug info fruit grows. Or<br>
something.<br></blockquote><div></div></div><br></div><div class="gmail_extra" style>So, that fits well today, since (from another thread) we generate debug info when really needed, so types should not need to be trimmed.</div>
<div class="gmail_extra" style><br></div><div class="gmail_extra" style>If we ever generate types that later become unnecessary, we could bloat the dwarf table, no?</div><div class="gmail_extra" style><br></div><div class="gmail_extra" style>
cheers,</div><div class="gmail_extra" style>--renato</div></div>