Re: Improving Data.Char.isSpace performance

On 10/29/2012 06:01 PM, Brandon Allbery wrote:

On Mon, Oct 29, 2012 at 1:52 PM, John MacFarlane mailto:jgm@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