<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<meta content="text/html; charset=ISO-8859-1"
http-equiv="Content-Type">
</head>
<body text="#000000" bgcolor="#ffffff">
On 26.04.2011 05:38, Richard Trieu wrote:
<blockquote
cite="mid:BANLkTikt6ucXhGUJfBWi6a2BS55ZsEO98g@mail.gmail.com"
type="cite">Ping. Any comments on this patch?<br>
<br>
<div class="gmail_quote">On Fri, Apr 15, 2011 at 10:25 PM, Richard
Trieu <span dir="ltr"><<a moz-do-not-send="true"
href="mailto:rtrieu@google.com">rtrieu@google.com</a>></span>
wrote:<br>
<blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt
0.8ex; border-left: 1px solid rgb(204, 204, 204);
padding-left: 1ex;">
See <a moz-do-not-send="true"
href="http://llvm.org/bugs/show_bug.cgi?id=9548"
target="_blank">http://llvm.org/bugs/show_bug.cgi?id=9548</a>
<div><br>
</div>
<div>When two different types has the same text representation
in the same diagnostic message, print an a.k.a. after the
type if the a.k.a. gives extra information about the type.</div>
<br>
</blockquote>
</div>
</blockquote>
Is this the best way to do it? Can we be less eager about this, i.e.
determine whether we need the AKA when generating the string instead
of when adding the argument?<br>
<br>
Sebastian<br>
</body>
</html>