Hi,

Le 19/06/2017 à 01:45, Evgeny Roubinchtein a écrit :

I have one more question about Gc.finalise to which I couldn't find an answer in the documentation.
Suppose I do, "Gc.finalise f v", and the function f makes the value v reachable again.  If I want f
to be called again should v become unreachable again, do I need to again call "Gc.finalise f v",
after f has "revived" v?

I think so, but I didn't double checked with the code.