[pypy-svn] r75946 - pypy/branch/fast-forward/pypy/rlib

benjamin at codespeak.net benjamin at codespeak.net
Wed Jul 7 01:20:47 CEST 2010


Author: benjamin
Date: Wed Jul  7 01:20:46 2010
New Revision: 75946

Modified:
   pypy/branch/fast-forward/pypy/rlib/rstring.py
Log:
these are technically correct, but it's very annoying to prove to the annotator _every_ time

Modified: pypy/branch/fast-forward/pypy/rlib/rstring.py
==============================================================================
--- pypy/branch/fast-forward/pypy/rlib/rstring.py	(original)
+++ pypy/branch/fast-forward/pypy/rlib/rstring.py	Wed Jul  7 01:20:46 2010
@@ -105,14 +105,11 @@
         assert isinstance(s_str, SomeString)
         assert isinstance(s_start, SomeInteger)
         assert isinstance(s_end, SomeInteger)
-        assert s_start.nonneg
-        assert s_end.nonneg
         return s_None
 
     def method_append_multiple_char(self, s_char, s_times):
         assert isinstance(s_char, SomeChar)
         assert isinstance(s_times, SomeInteger)
-        assert s_times.nonneg
         return s_None
 
     def method_build(self):
@@ -130,14 +127,11 @@
         assert isinstance(s_str, SomeUnicodeString)
         assert isinstance(s_start, SomeInteger)
         assert isinstance(s_end, SomeInteger)
-        assert s_start.nonneg
-        assert s_end.nonneg
         return s_None
 
     def method_append_multiple_char(self, s_char, s_times):
         assert isinstance(s_char, SomeUnicodeCodePoint)
         assert isinstance(s_times, SomeInteger)
-        assert s_times.nonneg
         return s_None
 
     def method_build(self):



More information about the Pypy-commit mailing list