[MLton-user] out of memory

[Matthew Fluet]

On Tue, Jun 1, 2010 at 2:28 PM, Sean McLaughlin <seanmcl at gmail.com> wrote:
> Hello,
>
>   Both solutions you proposed worked.  Oddly I think, may-page-heap true was
> significantly faster than -drop-pass deepFlatten.

That is odd.  Paging the heap to disk is generally quite expensive (in
your case, it requires writing and reading a >1GiB file).  It would
also mean that your program isn't quite a worst-case scenario for
DeepFlatten, since it was able to complete with just a little more
heap space.  On the other hand, with the greater heap space, the rest
of the compile needs fewer garbage collections.  It might also
indicate that deep flatten did enough work to significantly improve
the remainder of the compilation.

> If you like, you can grab
> my program at
>
> http://github.com/seanmcl/imogen.git
>
> In case you don't get to it for awhile, the commit you want is
>
> 6f6d8f6b224a3b38aa1f
>
> Once you download the sources, you need to set the environment variable
> IMOGEN_HOME, then cd to modal-prop, then run make.

I was able to clone the git repository and clone the sml-ext submodule
(after changing the url from a git@ to a http://), but the submodule
seems to be out of date, since I get

Error: /Users/mtf/tmp/imogen/shared/sources.mlb 7.4.
  File sml-ext/sources.mlb does not exist.