<p dir="ltr">I don't think so. There's no guarantee that future versions will maintain it, and I don't know that we want to take responsibility for continually checking on that.</p>
<p dir="ltr">David</p>
<p dir="ltr">On Feb 20, 2015 Simon Peyton Jones wrote:<br>
> It'd be good to document this condition/invariant in the Haddocks, wouldn't it?!<br>
><br>
> Simon<br>
><br>
> |  -----Original Message-----<br>
> |  From: ghc-devs [mailto:<a href="mailto:ghc-devs-bounces@haskell.org">ghc-devs-bounces@haskell.org</a>] On Behalf Of<br>
> |  Herbert Valerio Riedel<br>
> |  Sent: 19 February 2015 10:42<br>
> |  To: Kazu Yamamoto<br>
> |  Cc: <a href="mailto:libraries@haskell.org">libraries@haskell.org</a>; <a href="mailto:ghc-devs@haskell.org">ghc-devs@haskell.org</a><br>
> |  Subject: Re: Behavior change of Data.Char<br>
> |<br>
> |  On 2015-02-19 at 06:19:18 +0100, Kazu Yamamoto (????) wrote:<br>
> |  > It seems to me that some characters of GHC 7.10.1RC2 behave<br>
> |  > differently from those of GHC 7.8.4:<br>
> |  ><br>
> |  >                           7.8.4   7.10.1RC2<br>
> |  > isLower (char 170)        True    False<br>
> |<br>
> |  Fwiw, the motivation for that particular change may be (I'm just<br>
> |  guessing here) to have the following condition hold:<br>
> |<br>
> |    \c -> isLower c `implies` (not . isLower . toUpper) c<br>
> |<br>
> |  i.e. if something is 'lower-case', then applying 'toUpper' should<br>
> |  result in a character that is not 'lower-case' anymore. This didn't<br>
> |  hold with 7.8.4's Unicode 6, but now holds with 7.10.1's Unicode 7<br>
> |  definitions.<br>
> |<br>
> |  Cheers,<br>
> |    hvr<br>
> |  _______________________________________________<br>
> |  ghc-devs mailing list<br>
> |  <a href="mailto:ghc-devs@haskell.org">ghc-devs@haskell.org</a><br>
> |  <a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a><br>
</p>