> 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
_______________________________________________
MLton mailing list
MLton@mlton.org
http://mlton.org/mailman/listinfo/mlton
(text/plain)