[MLton] latest MLton segfault in gmp
Henry Cejtin
henry.cejtin at sbcglobal.net
Thu Oct 8 17:23:29 PDT 2009
Running under Debian testing, I grabbed the latest MLton from SVN and
compiled it (using the last official MLton: 20070826) on an AMD-64
machine.
The make couldn't finish because the resulting mlton-compile segfaults
compiling mllex.mlb. In fact, that mlton-compile always segfaults, even
compiling a hello-world.sml. The gdb traceback shows that it died in
__gmpz_mul_2exp().
The version of gmp that I have is 2:4.3.1+dfsg-3.
Any ideas or suggestions?
More information about the MLton
mailing list