[MLton] RE: card/cross map in heap

[Nicolas Bertolotti]

> If this patch also eliminates the out of memory crashes, then I think it
> is preferable, since it has a simpler management of the card/cross map.

It should as it also allocates both card/cross map and heap in one shot. I have already included it in my working version and it will be used to build a next release of the product.

Also note that I actually faced the bug you found in my previous patch. It crashed on Windows and Solaris ... but not on Linux.

Thanks for the update.

Nicolas