On Sun, Nov 27, 2016 at 8:30 AM, Tuncer Ayaz <tuncer.ayaz@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@gmail.com                                  ballbery@sinenomine.net
unix, openafs, kerberos, infrastructure, xmonad        http://sinenomine.net