Improve error messages for skolems
[ghc.git] / testsuite / tests / indexed-types / should_compile / PushedInAsGivens.stderr
2017-03-10  Simon Peyton JonesImprove error messages for skolems
2016-03-21  Richard EisenbergMake equality print better. (#11712)
2015-12-24  Richard EisenbergVisible type application
2015-12-11  Richard EisenbergAdd kind equalities to GHC.
2015-12-01  Simon Peyton JonesRefactor treatment of wildcards
2015-11-24  Evan LaforgeRearrange error msgs and add section markers (Trac...
2015-01-06  Simon Peyton JonesModify a couple of error messages slightly
2014-11-04  Simon Peyton JonesTestsuite error message changes