Sorry if this is not an appropriate question for the list, but...

does the garbage collector reclaim cells that are accessible only 
through a fulfilled promise?

for instance, if

val p:int list promise = promise()

future p is satisfied, and the list referenced by p is not otherwise 
accessible, will the list be garbage collected?

(corollary 1: if i have an "ever growing" list, only the last few cells 
of which are ever accessible, but where the entire list is referenced by 
a fulfilled promise, do i have a memory leak?

corollary 2: should an illustration show p referencing its future after 
p is fulfilled?)

thanks for any help.

---fred


_______________________________________________
alice-users mailing list
[email protected]
http://www.ps.uni-sb.de/mailman/listinfo/alice-users

Reply via email to