floating point bug fixed?

Henry Cejtin henry@sourcelight.com
Mon, 1 Oct 2001 15:03:26 -0500


I'm assuming that the source and binary RPMs in the mlton-home.tgz file
include the fix for the floating point bug that Anoq found, right?  What about
the fix to not set the max heap from the saved world?  It looks like it is
but I wanted to make sure.