[pypy-svn] r7613 - pypy/trunk/src/pypy/translator

[arigo at codespeak.net]

Author: arigo
Date: Tue Nov 23 13:40:01 2004
New Revision: 7613

Modified:
   pypy/trunk/src/pypy/translator/annrpython.py
Log:
It is an important invariant that annotations should only ever be generalized,
and not made more specialized for any given variable.


Modified: pypy/trunk/src/pypy/translator/annrpython.py
==============================================================================
--- pypy/trunk/src/pypy/translator/annrpython.py	(original)
+++ pypy/trunk/src/pypy/translator/annrpython.py	Tue Nov 23 13:40:01 2004
@@ -151,6 +151,7 @@
 
     def setbinding(self, arg, s_value, called_from=None):
         if arg in self.bindings:
+            assert s_value.contains(self.bindings[arg])
             # for debugging purposes, record the history of bindings that
             # have been given to this variable
             history = self.bindingshistory.setdefault(arg, [])