[pypy-commit] pypy default: Add test for issue #260

[rlamy]

Author: Ronan Lamy <ronan.lamy at gmail.com>
Branch: 
Changeset: r76562:f3ff810e8559
Date: 2015-03-25 19:04 +0000
http://bitbucket.org/pypy/pypy/changeset/f3ff810e8559/

Log:	Add test for issue #260

diff --git a/rpython/annotator/test/test_model.py b/rpython/annotator/test/test_model.py
--- a/rpython/annotator/test/test_model.py
+++ b/rpython/annotator/test/test_model.py
@@ -37,6 +37,10 @@
                                            (s4, s4), (s4, s6),
                                                      (s6, s6)])
 
+def test_signedness():
+    assert not SomeInteger(unsigned=True).contains(SomeInteger())
+    assert SomeInteger(unsigned=True).contains(SomeInteger(nonneg=True))
+
 def test_commonbase_simple():
     class A0:
         pass