Martin v. Löwis <mar...@v.loewis.de> added the comment:

> But why are they not a space?

Because the Unicode standard says they are not. We have a good tradition in 
Python to follow standards where they apply, and it appears that the Unicode 
standard is crystal clear that the characters in question are *not* white 
space. Why should we second-guess the Unicode consortium when discussing 
Unicode questions? See also

http://en.wikipedia.org/wiki/Whitespace_character

IOW: get the Unicode consortium to declare them as whitespace, and we happily 
follow.

Ezio: I do think that _PyUnicode_IsWhitespace should use the White_Space 
property (from PropList.txt). I'm not quite sure how they computed that 
property (or whether it's manually curated). Since that's a behavioral change, 
it can only go into 3.3.

----------

_______________________________________
Python tracker <rep...@bugs.python.org>
<http://bugs.python.org/issue13391>
_______________________________________
_______________________________________________
Python-bugs-list mailing list
Unsubscribe: 
http://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com

Reply via email to