Message191647
> 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. |
|
Date |
User |
Action |
Args |
2013-06-22 16:33:59 | belopolsky | set | recipients:
+ belopolsky, terry.reedy |
2013-06-22 16:33:59 | belopolsky | set | messageid: <1371918839.62.0.773637572005.issue18236@psf.upfronthosting.co.za> |
2013-06-22 16:33:59 | belopolsky | link | issue18236 messages |
2013-06-22 16:33:59 | belopolsky | create | |
|