Re: [commit: ghc] master: Improve error messages around kind mismatches. (8e15e3d)

On Jul 27, 2017, at 8:01 AM, Simon Peyton Jones via ghc-devs wrote:

I think Richard just forgot to update the commit message.

Indeed. Bah. I don't suppose there's a way of fixing that now. Sorry! Richard