[MLton] FYI: Compiling MLKit with MLton

[Matthew Fluet]

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

That seems to be a fairly long time.

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

That also seems to be a little large (about 2.5x the size of the mlton 
executable).  I'd be interested in seeing the verbose log.