[pypy-dev] Annotating space status

[Guido van Rossum]

> I have committed a different fix: a cycle doesn't reach a fix point as long 
> as there's a W_ConstantIterator which is being consumed.

This works now, but it makes me worry.  I think that the symbolic
execution framework doesn't really cope very well with mutable
objects; I expect that we'll get other problems like this.

I wonder if you or Armin have a better idea on how to deal with this?
I'd think that maintaining a 'changed-since-last-clone' flag in each
object seems a pretty ad-hoc solution...

--Guido van Rossum (home page: http://www.python.org/~guido/)