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