Improving Data.Char.isSpace performance

[Vincent Hanquez]

On 10/29/2012 06:01 PM, Brandon Allbery wrote:
> On Mon, Oct 29, 2012 at 1:52 PM, John MacFarlane <jgm at berkeley.edu 
> <mailto:jgm at berkeley.edu>> wrote:
>
>     I have experimented with a couple of variants that seem
>     better than the definition I originally proposed.
>
>
> How about U+0085?

U+0085 is not defined as a space char according to 
http://www.fileformat.info/info/unicode/char/85/index.htm.

-- 
Vincent