<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">2014-01-28 Jakob Ovrum <span dir="ltr"><<a href="mailto:jakobovrum@gmail.com" target="_blank">jakobovrum@gmail.com</a>></span><br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div class="im">On Tuesday, 28 January 2014 at 08:40:55 UTC, Kenji Hara wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Definitely yes. Please file the bug in bigzilla.<br>
</blockquote>
<br></div>
Filed[1], although the report is sparse; I don't know the details of the problem.<br>
<br>
[1] <a href="https://d.puremagic.com/issues/show_bug.cgi?id=12017" target="_blank">https://d.puremagic.com/<u></u>issues/show_bug.cgi?id=12017</a><br>
</blockquote></div><br></div><div class="gmail_extra">No problem. I found the root cause (shamefully it was my fault...)</div><div class="gmail_extra">I'll post a compiler fix soon.</div><div class="gmail_extra"><br>
</div><div class="gmail_extra">Kenji Hara</div></div>