Hi, Guile's guardians currently make the guarantee that "it is impossible for a guardian to return a 'contained' object before its 'containing' object."
I am considering removing this guarantee since it makes it impossible for guardians to deal with cycles among guarded objects, and because it is not part of the semantics of guardians as proposed in the paper by Dybvig et al[1]. So, do you rely on this ordering guarantee? If you do, you would need to take care of the ordering yourself, which is quite easy by keeping objects alive in a global data structure until they are no longer needed. [1] ftp://ftp.cs.indiana.edu/pub/scheme-repository/doc/pubs/guardians.ps.gz -- GPG: D5D4E405 - 2F9B BCCC 8527 692A 04E3 331E FAF8 226A D5D4 E405 _______________________________________________ Guile-devel mailing list Guile-devel@gnu.org http://lists.gnu.org/mailman/listinfo/guile-devel
