Andreas Rossberg wrote: >> 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? >> > > That entirely depends on whether p itself is garbage. If it is still > reachable, then the list certainly cannot be collected, because somebody > still might dereference p and obtain it (note that Promise.future really is > just a fancy dereference operator). of course. stupid question. (future p) is still well defined for a fulfilled promise. sorry.
---fred _______________________________________________ alice-users mailing list [email protected] http://www.ps.uni-sb.de/mailman/listinfo/alice-users
