> > 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.