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

Wesley W. Terpstra wesley at terpstra.ca
Wed Oct 15 07:48:53 PDT 2008


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?



More information about the MLton mailing list