On Wed, 15 Oct 2008, Wesley W. Terpstra wrote: > The documentation and error messages refer to the @MLton option > may-page-heap. However, the actual runtime accepts 'page-heap' not > may-page-heap. Which is intended? >From the commit log, it looks like 'may-page-heap' was intended.