On Sun, Nov 27, 2016 at 8:30 AM, Tuncer Ayaz <[email protected]> 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 [email protected] [email protected] unix, openafs, kerberos, infrastructure, xmonad http://sinenomine.net
_______________________________________________ ghc-devs mailing list [email protected] http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
