The order of objects returned from a guardian

[Marius Vollmer]

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