[MLton] FYI: Compiling MLKit with MLton

[Vesa Karvonen]

Just in case this might interest others.  I was able to compile a recent MLKit
checkout (from http://sourceforge.net/projects/mlkit) with MLton on a 2GHz x86
linux machine with (only;-) 1.5GB memory.  The recent fix to the MLB grammar
(http://mlton.org/pipermail/mlton-commit/2006-October/000774.html) is necessary
to compile latest MLKit with MLton.  Compilation took 114m26.912s.  The resulting
executable was 105151508 bytes before stripping and 59049352 bytes after stripping.
I have a -verbose 3 log of the compilation, in case someone is interested.