[ANNOUNCE] GHC 8.0.2 release candidate 1

Tuncer Ayaz tuncer.ayaz at gmail.com
Sun Nov 27 13:30:40 UTC 2016

On 27 November 2016 at 01:37, Tuncer Ayaz <tuncer.ayaz at gmail.com> wrote:
> On 25 November 2016 at 23:38, Ben Gamari <ben at well-typed.com> wrote:
> >
> > As always, let us know if you encounter trouble. Thanks to everyone
> > who has contributed so far!
> No trouble building and running rc1, but some code in xmonad-contrib
> that builds fine with 8.0.1 doesn't with 8.0.2-rc1. Not sure if it's
> broken code or a ghc regression.
> https://github.com/xmonad/xmonad-contrib/issues/123

It's a leftover use of ImpredicativeTypes and getting fixed[2]

However, what's changed from 8.0.1 to 8.0.2 to trigger this? I mean,
is a point release supposed to do this? I would expect 8.0 to 8.1 to
break, but find it surprising x.0.1 to x.0.2 would as well.

IIRC ImpredicativeTypes has been obsoleted a long time ago, and maybe
8.0.2 has fixes which catches code that slipped through before. That's
an explanation that would make sense. In that case, it seems ok.

[2] https://github.com/xmonad/xmonad-contrib/pull/124

More information about the ghc-devs mailing list