<div class="gmail_quote">On Wed, Jun 24, 2009 at 7:03 PM, Wesley W. Terpstra <span dir="ltr"><<a href="mailto:wesley@terpstra.ca">wesley@terpstra.ca</a>></span> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
Depending on if the 'print' statement is present, the program either<br>
loops forever or terminates rapidly.</blockquote><div><br>MLton 20061107 works. So does 20070826.<br><br>I suspect these recent floating point optimizations are to blame?<br><br></div></div>