[pypy-svn] r44481 - pypy/dist/pypy/objspace/flow

[antocuni at codespeak.net]

Author: antocuni
Date: Sun Jun 24 15:45:54 2007
New Revision: 44481

Modified:
   pypy/dist/pypy/objspace/flow/model.py
Log:
this condition is too strict to be easly enforced. The comment says
the false, It's easier to fix the rest of the toolchain.



Modified: pypy/dist/pypy/objspace/flow/model.py
==============================================================================
--- pypy/dist/pypy/objspace/flow/model.py	(original)
+++ pypy/dist/pypy/objspace/flow/model.py	Sun Jun 24 15:45:54 2007
@@ -663,15 +663,6 @@
             for link in block.exits:
                 assert len(link.args) == len(link.target.inputargs)
                 assert link.prevblock is block
-
-                # checking for exact types is not strictly necessary
-                # for ootype, because upcasting could be implicit, but
-                # forcing them to be explicit makes the life of other
-                # parts of the toolchain much easier
-                for linkv, inputv in zip(link.args, link.target.inputargs):
-                    if hasattr(linkv, 'concretetype') and hasattr(inputv, 'concretetype'):
-                        assert linkv.concretetype == inputv.concretetype
-
                 exc_link = link in exc_links
                 if exc_link:
                     for v in [link.last_exception, link.last_exc_value]: