Re: [ANNOUNCE] GHC 8.0.2 release candidate 1

On 27 November 2016 at 01:37, Tuncer Ayaz wrote:

On 25 November 2016 at 23:38, Ben Gamari 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