[MLton] new version of MLton

[Henry Cejtin]

I agree that the vast majority of the time must be handling the basis library.
I see that an undumped world is being used.  I gather that that world is before
the basis library is read in and parsed, right?

Any way, the machine I was using is a dual 935 MHz Pentium 3 with 2 gig of
RAM.