[MLton] Real.toString broken on 64 bit
Wesley W. Terpstra
wesley at terpstra.ca
Wed Nov 28 03:35:11 PST 2007
This works fine on 32 bit, but:
> terpstra at tokyo:~$ ldd bug
> libm.so.6 => /lib64/libm.so.6 (0x00002b88fd0d0000)
> libgmp.so.3 => /lib64/libgmp.so.3 (0x00002b88fd252000)
> libc.so.6 => /lib64/libc.so.6 (0x00002b88fd391000)
> /lib64/ld-linux-x86-64.so.2 (0x00002b88fcfb8000)
> terpstra at tokyo:~$ ./bug
> Not 1: 2.68403211433E~112
> terpstra at tokyo:~$ cat bug.sml
> val () = print ("Not 1: " ^ Real.toString 1.0 ^ "\n")
This is with svn/HEAD. I am not sure if it matters, but the default
user space is 32 bit, but with 64 bit libraries in /lib64. The MLton
used is a 32->64 bit cross compiler.
More information about the MLton
mailing list