[pypy-svn] r7399 - pypy/trunk/src/pypy/annotation

[hpk at codespeak.net]

Author: hpk
Date: Thu Nov 18 18:53:07 2004
New Revision: 7399

Modified:
   pypy/trunk/src/pypy/annotation/builtin.py
Log:
if two SomeXXX's knowntype is reasonably disjunct from a 
constant type then isinstance(SomeXXXinstance, const_type) 
will analyse as immutable(False) -> yet some more branches
cut out ... 



Modified: pypy/trunk/src/pypy/annotation/builtin.py
==============================================================================
--- pypy/trunk/src/pypy/annotation/builtin.py	(original)
+++ pypy/trunk/src/pypy/annotation/builtin.py	Thu Nov 18 18:53:07 2004
@@ -41,6 +41,8 @@
             return immutablevalue(isinstance(s_obj.const, typ))
         elif issubclass(s_obj.knowntype, typ):
             return immutablevalue(True)
+        elif not issubclass(typ, s_obj.knowntype): 
+            return immutablevalue(False) 
         else:
             # XXX HACK HACK HACK
             # XXX HACK HACK HACK