[pypy-commit] pypy online-transforms: add 2 failing tests

[rlamy]

Author: Ronan Lamy <ronan.lamy at gmail.com>
Branch: online-transforms
Changeset: r74000:3dba6d6cf053
Date: 2014-10-16 21:33 +0100
http://bitbucket.org/pypy/pypy/changeset/3dba6d6cf053/

Log:	add 2 failing tests

diff --git a/rpython/annotator/test/test_annrpython.py b/rpython/annotator/test/test_annrpython.py
--- a/rpython/annotator/test/test_annrpython.py
+++ b/rpython/annotator/test/test_annrpython.py
@@ -416,7 +416,27 @@
             s_constmeth = iv(constmeth)
             assert isinstance(s_constmeth, annmodel.SomeBuiltin)
             s_meth = s_example.getattr(iv(methname))
-            assert isinstance(s_constmeth, annmodel.SomeBuiltin)
+            assert isinstance(s_meth, annmodel.SomeBuiltin)
+
+    def test_unbound_methods(self):
+        a = self.RPythonAnnotator()
+        iv = a.bookkeeper.immutablevalue
+        # this checks that some unbound built-in methods are really supported by
+        # the annotator (it doesn't check that they operate property, though)
+        for example, methname, s_example in [
+            ('', 'join',    annmodel.SomeString()),
+            ([], 'append',  somelist(annmodel.s_Int)),
+            ([], 'extend',  somelist(annmodel.s_Int)),
+            ([], 'reverse', somelist(annmodel.s_Int)),
+            ([], 'insert',  somelist(annmodel.s_Int)),
+            ([], 'pop',     somelist(annmodel.s_Int)),
+            ]:
+            constmeth = getattr(type(example), methname)
+            s_constmeth = iv(constmeth)
+            assert isinstance(s_constmeth, annmodel.SomeObject)
+            assert s_constmeth.getKind() == 0
+            s_meth = iv(example).getattr(iv(methname))
+            assert isinstance(s_meth, annmodel.SomeObject)
 
     def test_str_join(self):
         a = self.RPythonAnnotator()
@@ -430,6 +450,18 @@
         assert s.knowntype == str
         assert s.no_nul
 
+    def test_str_join_unbound(self):
+        a = self.RPythonAnnotator()
+        def g(n):
+            if n:
+                return ["foo", "bar"]
+        def f(n):
+            g(0)
+            return str.join('', g(n))
+        s = a.build_types(f, [int])
+        assert s.knowntype == str
+        assert s.no_nul
+
     def test_str_split(self):
         a = self.RPythonAnnotator()
         def g(n):