Remove the type-checking knot.
[ghc.git] / testsuite / tests / polykinds / T12593.stderr
2018-07-10  Richard EisenbergUnwrap casts before checking vars in eager unifier
2018-04-06  Ben Gamaritestsuite: Accept output for T12593
2018-04-01  Richard EisenbergTrack type variable scope more carefully.
2017-11-22  Ben GamariUpdate Hadrian
2017-11-15  Andrey MokhovPull recent Hadrian changes from upstream
2017-11-10  Ben GamariMerge commit '5229c43ccf77bcbffeced01dccb27398d017fa34'
2017-11-06  Andrey MokhovMerge commit '7b0b9f603bb1215e2b7af23c2404d637b95a4988...
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