[MLton] Real.fromLargeInt buggy (64 bit)

Matthew Fluet fluet at tti-c.org
Wed Nov 28 07:54:25 PST 2007


On Wed, 28 Nov 2007, Wesley W. Terpstra wrote:
> Indeed. It seems that libgdtoa.a was miscompiled.
> Searching further, I found the problem:
>
> Fix:
> Index: runtime/Makefile
> ===================================================================
> --- runtime/Makefile	(revision 6219)
> +++ runtime/Makefile	(working copy)
> @@ -244,7 +244,7 @@
> 	 patch -s -p0 <gdtoa-patch
>
> gdtoa/arithchk.out: gdtoa/arithchk.c
> -	cd gdtoa && $(CC) -o arithchk.out arithchk.c
> +	cd gdtoa && $(CC) $(OPTCFLAGS) -o arithchk.out arithchk.c
>
> gdtoa/arith.h: gdtoa/arithchk.out
> 	 cd gdtoa && ./arithchk.out >arith.h

Thanks.  Committed.




More information about the MLton mailing list