[MLton] Cygwin->Mingw32: patch + future

Henry Cejtin henry@sourcelight.com
Tue, 23 Nov 2004 07:42:06 -0600


YES: TextIO speed is SUPER IMPORTANT.  It is already too slow I would say
because of the inliner not doing quite the right thing.  PLEASE: don't slow
it down.