Behavior change of Data.Char
Herbert Valerio Riedel
hvriedel at gmail.com
Thu Feb 19 10:42:28 UTC 2015
On 2015-02-19 at 06:19:18 +0100, Kazu Yamamoto (山本和彦) wrote:
> It seems to me that some characters of GHC 7.10.1RC2 behave
> differently from those of GHC 7.8.4:
>
> 7.8.4 7.10.1RC2
> isLower (char 170) True False
Fwiw, the motivation for that particular change may be (I'm just
guessing here) to have the following condition hold:
\c -> isLower c `implies` (not . isLower . toUpper) c
i.e. if something is 'lower-case', then applying 'toUpper' should result
in a character that is not 'lower-case' anymore. This didn't hold with
7.8.4's Unicode 6, but now holds with 7.10.1's Unicode 7 definitions.
Cheers,
hvr
More information about the ghc-devs
mailing list