<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Sun, Nov 27, 2016 at 8:30 AM, Tuncer Ayaz <span dir="ltr"><<a href="mailto:tuncer.ayaz@gmail.com" target="_blank">tuncer.ayaz@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div id=":166" class="a3s aXjCH m158a5fbae27c40b4">However, what's changed from 8.0.1 to 8.0.2 to trigger this? I mean,<br>
is a point release supposed to do this? I would expect 8.0 to 8.1 to<br>
break, but find it surprising x.0.1 to x.0.2 would as well.</div></blockquote></div><br>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.<br><div><br></div>-- <br><div class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div>brandon s allbery kf8nh                               sine nomine associates</div><div><a href="mailto:allbery.b@gmail.com" target="_blank">allbery.b@gmail.com</a>                                  <a href="mailto:ballbery@sinenomine.net" target="_blank">ballbery@sinenomine.net</a></div><div>unix, openafs, kerberos, infrastructure, xmonad        <a href="http://sinenomine.net" target="_blank">http://sinenomine.net</a></div></div></div>
</div></div>