Should Lists Of Integers Allow Other Whitespace Characters? (part of detailed review of common microsyntaxes)

Lists of integers currently only allow U+0020 SPACE, and any other  
whitespace character is counted as a bogus character. This could lead  
to unexpected results in character sequences such as U+000A LINE FEED  
U+002D HYPHEN-MINUS U+0039 DIGIT NINE (the result would be a list  
consisting of the integer +ve nine). Is there any reason not to allow  
any space character here (as is defined in #space)?

- Geoffrey Sneddon

Received on Wednesday, 11 July 2007 18:43:32 UTC