[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