Kind inference

[Simon Peyton Jones]

I have been working for longer than I care to admit on a significant refactoring of kind inference.
I've just pushed it.  It's a pretty big patch, which Richard and I have been discussing for some weeks.   It validates, and fixes at least nine troublesome open tickets.
But of course I could have made a mistake.  Be vigilant.
My: there will almost certainly be conflicts with your visible kind application patch, especially in tcInferApps.  But that function has gotten substantially simpler in my patch so I don't think it'll be hard to fix things up.
Phew!
Simon
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20181129/552cdce7/attachment.html>