[MLton] Experimental 64Bit

Matthew Fluet fluet at tti-c.org
Sat Mar 3 15:53:26 PST 2007


Ray wrote:
> I see the same floating point exception on a FC 5, dual AMD64.
> 
> [raymond at corwin ~]$ which mlton
> /usr/local/bin/mlton
> [raymond at corwin ~]$ mlton
> Floating point exception
> [raymond at corwin ~]$ gdb /usr/local/lib/mlton/mlton-compile
> GNU gdb Red Hat Linux (6.3.0.0-1.134.fc5rh)
> 
> (gdb) run
> Starting program: /usr/local/lib/mlton/mlton-compile
> (no debugging symbols found)
> 
> Program received signal SIGFPE, Arithmetic exception.
> 0x0000003282608adb in do_lookup_x () from /lib64/ld-linux-x86-64.so.2
> (gdb) bt
> #0  0x0000003282608adb in do_lookup_x ()
> from /lib64/ld-linux-x86-64.so.2

Actually, this (along with the previous information about .gnu.hash) 
provided enough info.  Google for "SIGFPE do_lookup_x" and I pretty 
quickly found:
   http://www.redhat.com/archives/fedora-list/2006-November/msg04167.html
which seems to sufficiently explain the observed behavior.

In any case, early next week I'll try building new binaries, either with 
--hash-style=sysv or by running FC5 (and/or Ubuntu Edgy) under VMWare 
and building from source.





More information about the MLton mailing list