[MLton] page-heap or may-page-heap?

Matthew Fluet fluet at tti-c.org
Wed Oct 15 08:15:44 PDT 2008


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.



More information about the MLton mailing list