[MLton] (possible) front-end bug

Stephen Weeks MLton@mlton.org
Wed, 21 Jan 2004 09:26:39 -0800


> > to the above; the "bug" was a cut-and-paste-and-edit error that ended up
> > as the code which MLton accepted but SML/NJ did not.
> 
> Yes, the cut-and-paste-and-edit code appears to tickle a MLton bug.  I
> am investigating.

Fixed.  The fix was to turn off an incorrect optimization in the
elaborator, which unfortunately slows elaboration for a self-compile
down by a factor of two.