[ANNOUNCE] GHC 8.0.2 release candidate 1
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...
More information about the ghc-devs