Alexander Belopolsky added the comment:
> You stated facts: what is your proposal?
There is a bug somewhere. We cannot simultaneously have
>>> '\N{RS}'.isspace()
True
and not accept '\N{RS}' as whitespace when parsing numbers.
I believe int(x) should be equivalent to int(x.strip()). This is not the case
now:
>>> '123\N{RS}'.strip()
'123'
>>> int('123\N{RS}')
Traceback (most recent call last):
File "<stdin>", line 1, in <module>
ValueError: invalid literal for int() with base 10: '123\x1e'
The reason I did not clearly state my proposal is because I am not sure whether
bytes.isspace or str.isspace is correct, but I don't see any justification for
having them defined differently in the ASCII range.
----------
_______________________________________
Python tracker <rep...@bugs.python.org>
<http://bugs.python.org/issue18236>
_______________________________________
_______________________________________________
Python-bugs-list mailing list
Unsubscribe:
http://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
