Fix #13819 by refactoring TypeEqOrigin.uo_thing
[ghc.git] / testsuite / tests / polykinds / T12593.stderr
2017-07-27  Richard EisenbergFix #13819 by refactoring TypeEqOrigin.uo_thing
2017-07-27  Richard EisenbergImprove error messages around kind mismatches.
2016-09-30  Simon Peyton JonesFix a bug in occurs checking