On Mon, 16 Jun 2008, Nicolas Bertolotti wrote:
>> 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.
I'm assuming that you had no issues with this version of the card/cross
map in heap patch. I'll plan on merging the patch in the not to distant
future.
> Also note that I actually faced the bug you found in my previous patch.
> It crashed on Windows and Solaris ... but not on Linux.
Interesting that it worked on Linux.
_______________________________________________
MLton mailing list
MLton@mlton.org
http://mlton.org/mailman/listinfo/mlton
(text/plain)