[MLton] RE: card/cross map in heap

Matthew Fluet fluet at tti-c.org
Tue Jun 24 06:24:18 PDT 2008


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.




More information about the MLton mailing list