[ANNOUNCE] GHC 8.0.2 release candidate 1

Brandon Allbery allbery.b at gmail.com
Sun Nov 27 17:37:20 UTC 2016

On Sun, Nov 27, 2016 at 8:30 AM, Tuncer Ayaz <tuncer.ayaz at gmail.com> wrote:

> 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.

ImpredicativeTypes has *always* been broken, just in different ways in
every release. Worse, it never had a real specification, therefore no
tests. I think it's just going to be ripped out finally in the next major
release, since VisibleTypeApplication should handle most of the use cases.

brandon s allbery kf8nh                               sine nomine associates
allbery.b at gmail.com                                  ballbery at sinenomine.net
unix, openafs, kerberos, infrastructure, xmonad        http://sinenomine.net
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20161127/be48027c/attachment.html>

More information about the ghc-devs mailing list