[pypy-svn] r13011 - pypy/dist/pypy/annotation

[pedronis at codespeak.net]

Author: pedronis
Date: Thu Jun  2 18:18:31 2005
New Revision: 13011

Modified:
   pypy/dist/pypy/annotation/binaryop.py
Log:
getitem on PBCs (especially None) fails



Modified: pypy/dist/pypy/annotation/binaryop.py
==============================================================================
--- pypy/dist/pypy/annotation/binaryop.py	(original)
+++ pypy/dist/pypy/annotation/binaryop.py	Thu Jun  2 18:18:31 2005
@@ -494,6 +494,12 @@
     def union((pbc, s)):
         return pair(s, pbc).union()
 
+# getitem on SomePBCs, in particular None fails
+
+class __extend__(pairtype(SomePBC, SomeObject)):
+    def getitem((pbc, o)):
+        return SomeImpossibleValue()
+
 # annotation of low-level types
 from pypy.annotation.model import SomePtr, ll_to_annotation