[MLton-user] Finalizable bug

[Matthew Fluet]

On Sun, 18 Nov 2007, Florian Weimer wrote:
> * Sean McLaughlin:
>>   I found a bug using the Finalizer module.  The tar of the files is
>> attached.
>> On multiple machines it gave segfaults.
>
> The references to MLton.Pointer are not necessary, so it's possible to
> minimize the test case even further.  The crash occurs in the
> mark-compact collector during the first mark-compact collection of this
> program.

Confirmed and fixed.  There was a bug in the treatment of weak pointers 
(used by the Finalizable module) by the mark-compact collector.  See
   http://mlton.org/cgi-bin/viewsvn.cgi?rev=6183&view=rev
for more details.