[pypy-dev] Annotating space status

[Samuele Pedroni]

At 23:30 02.07.2003 +0200, Samuele Pedroni wrote:

>- reflow type info through the call-graph somehow (this means more code 
>complexity) and get in both cases W_Anything()
>- don't unify beetween different invocation of a same function: maybe 
>that's enough for our purposes and get W_Constant(1), W_Constant('1') 
>respectively.

the simplest solution is to just reiterate the analysis globally up to a 
fix-point.