On Sun, Nov 27, 2016 at 8:30 AM, Tuncer Ayaz
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