On Wednesday, November 12, 2003, at 10:13 AM, Aleksey Nogin wrote:
> When trying to switch from 3.06 to 3.07+2 I've noticed the following
> difference in how the Weak module works:
[
In 3.06, an empty list [] does not disappear from a weak array;
in 3.07+2 it disappears immediately
]
> Basically, in 3.07+2, the empty list disappears from the weak array as
> soon as it is added into it. Is this a bug or a feature?
Feature.
> The old behavior is useful because it allows to assume that while a
> value is referenced somewhere, Weak.get will always return Some. This
> allowed using Weak.get as an indicator of whether it was OK to discard
> some "helper" data (which should be only discarded after the primary
> data is no longer in use).
Yes, but. In 3.06, [] will never be removed from the weak array, and
you will keep your helper data forever.
The source your the problem is that [] is not allocated in the heap.
It is represented by an integer value. Hence, there is no sharing
between various occurrences of [] in your data and the notion of a
weak pointer to [] does not make sense.
If you really want to make sure that you are manipulating pointers,
you should use a record or a list ref.
-- Damien
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners