On Fri, Apr 30, 2010 at 3:58 AM, Matthew Fluet <span dir="ltr"><<a href="mailto:matthew.fluet@gmail.com">matthew.fluet@gmail.com</a>></span> wrote:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<div class="im">On Thu, Apr 29, 2010 at 2:18 PM, Wesley W. Terpstra <<a href="mailto:wesley@terpstra.ca">wesley@terpstra.ca</a>> wrote:<br>
> These all happen on debian/sid updated to April 29, 2010.<br>
><br>
> The crashes happen during the compile using MLton (r7452). The bootstrapping<br>
> compiler (r7430) did not exhibit the crashes. All the problems seem related<br>
> to the handling of floating point numbers.<br>
<br>
</div>What architecture? A self-compile and regression tests with svn/HEAD<br>
ran without problems on amd64-linux for me.<br>
</blockquote></div><br>amd64-debian.<br><br>I thought it might be bad RAM, so I reran and saw exactly the same effect. Perhaps something to do with debian/sid? The machine also has 64GB of RAM if that is relevant. I'll try a debootstrap of sid chroot on my 4GB debian box this weekend to see what happens.<br>