<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">2015-07-07 16:24 GMT+09:00 Walter Bright via Digitalmars-d <span dir="ltr"><<a href="mailto:digitalmars-d@puremagic.com" target="_blank">digitalmars-d@puremagic.com</a>></span>:<br><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"><div><div>On 7/6/2015 3:52 PM, deadalnix wrote:<br>
<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">Unresolved types in the ABI ? Is that even possible ?<br>
</blockquote>
<br></div></div>
I don't remember the cases, but yes.<br>
</blockquote></div><br></div><div class="gmail_extra">In old days, Type::merge() had generated mangled name even for TypeIdentifier.</div><div class="gmail_extra">It might be related to the topic.</div><div class="gmail_extra"><br></div><div class="gmail_extra">---</div><div class="gmail_extra"><br></div><div class="gmail_extra"><div class="gmail_extra">Recently, a similar mangling definition issue around template instance had reported, but finally it's marked as invalid.</div><div class="gmail_extra"><br></div><div class="gmail_extra">  <a href="https://issues.dlang.org/show_bug.cgi?id=14592">https://issues.dlang.org/show_bug.cgi?id=14592</a><br></div><div class="gmail_extra"><br></div><div class="gmail_extra">Current dmd uses __U for the front-end only instances, but it won't appear in the generated symbols.</div><div class="gmail_extra">It's just for the dmd-internal, so it's not documented in the spec.</div><div class="gmail_extra"><br></div><div class="gmail_extra">I think we can take same approach.</div><div class="gmail_extra"><br></div><div class="gmail_extra">As deadalnix pointed out, TypeIdentifier will never appear in any valid symbol names in object files. Therefore the definition would be dmd-internal specific, and can be removed from the spec.<br></div></div><div class="gmail_extra"><br></div><div class="gmail_extra">Kenji Hara</div></div>