[MLton] MLton HOL

[Matthew Fluet]

> > Any progress in solving the space blowup when compiling huge
> > programs?
>
> No luck yet, but I'm on it.  It will be fixed.

Any particular suspects here?  I see from the commitlog some general
improvements in representation and implementation, but no smoking gun.

I built time and alloc profiled compilers and then built mlton.cm with
-prof-pass backend, but top time and alloc looked like property list
manipulations, which doesn't shed much light on Joe's problem.