<div class="gmail_quote">On Fri, Oct 9, 2009 at 4:21 AM, Matthew Fluet <span dir="ltr"><<a href="mailto:mtf@cs.rit.edu">mtf@cs.rit.edu</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;">
<div class="im">On Thu, 8 Oct 2009, Henry Cejtin wrote:<br>
<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
The make couldn't finish because the resulting mlton-compile segfaults<br>
compiling mllex.mlb. In fact, that mlton-compile always segfaults, even<br>
compiling a hello-world.sml. The gdb traceback shows that it died in<br>
__gmpz_mul_2exp().<br>
<br>
The version of gmp that I have is 2:4.3.1+dfsg-3.<br></blockquote></div></blockquote><div><br>I have reproduced this problem. Then I copied my svn/HEAD compiler from sarge to squeeze and it segfaulted as well. Something in squeeze has changed. The MinGW32 port self-compiles using 4.3.1 and debian hasn't patched gmp in any relevant way.<br>
<br><blockquote style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;" class="gmail_quote"> Can you run through the regression suite with mlton-20070826?<br></blockquote><br>Here are the highlights:<br>
<br>testing flexrecord.2:<br>Type error: actual and formal not of same type<br>actual: ('a_4068 * nat) * (nat * nat)<br>formal: (nat * nat) * (nat * nat)<br>expression: ZZZ_f x_0<br>unhandled exception: TypeError<br>compilation of flexrecord.2 failed with -type-check true<br>
<br>real-algsimp (which appears to be a fix added around r6241).<br>1a2<br>> true<br>3,4c4<br>< false<br>< false<br>---<br>> true<br>... another new regression<br><br>Error: test-create.sml 42.53.<br> Function applied to incorrect argument.<br>
expects: [Unix.exit_status]<br> but got: [?.PosixProcess.exit_status]<br> in: statusToString status<br>... also a fix since 2007.<br><br>testing thread-switch-share<br>1,2c1,2<br>< size1 >= size2 = true<br>
< sum1 = sum2 = true<br>---<br>> ./bin/regression: line 28: 13263 Segmentation fault "./$f"<br>> Nonzero exit status.<br>testing thread-switch-size<br>1c1,2<br>< !rs > 0 = true<br>---<br>> ./bin/regression: line 28: 13301 Segmentation fault "./$f"<br>
> Nonzero exit status.<br>... more bugs fixed since 2007.<br><br>testing weak.2<br>DeepFlatten.replaceVar global_0<br>compilation of weak.2 failed with -type-check true<br>... not sure about this one?<br><br></div></div>