[MLton] MLton HOL

Matthew Fluet fluet@cs.cornell.edu
Wed, 2 Jun 2004 08:12:53 -0400 (EDT)

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