I submitted it as Bug report #185.
raph
Raphael Collet wrote:
Dear Christophe,
As you guessed, the finalization of weak dictionaries themselves is
bogus. After the end of garbage collection, the system checks the
contents of weak dictionaries, and finalizes the items that have not
been reached yet. Those items are "revived" in memory once they are
sent on a finalization stream. The problem is that the contents of a
weak dictionary that is revived at that moment is not correct. A fix
would be to redo the check on all revived weak dictionaries.
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users