
<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><br><div><div>On 27.04.2011, at 20:56, Richard Trieu wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><meta http-equiv="content-type" content="text/html; charset=utf-8"><span class="Apple-style-span" style="font-size: medium; "><pre><font class="Apple-style-span" face="'Times New Roman'"><span class="Apple-style-span" style="white-space: normal;">Hi Sebastian,</span></font></pre>

<pre><font class="Apple-style-span" face="'Times New Roman'"><span class="Apple-style-span" style="white-space: normal;">I don't subscribe to the mailing list, so please cc me in any replies or I won't see them until I browse the archives.</span></font></pre>

<pre><font class="Apple-style-span" face="'Times New Roman'"><span class="Apple-style-span" style="white-space: normal;">For your question, is there any difference between determining when to print an AKA earlier rather than later?</span></font></pre></span></blockquote></div>Not really. I just imagine a diagnostics backend that doesn't format types as strings and therefore doesn't care whether any number have the same representation. But it was mostly an idle question.<div><br></div><div>Sebastian</div></body></html>