Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / FDsFromGivens2.hs
2016-01-27  Richard EisenbergRefactor the typechecker to use ExpTypes.
2015-04-29  Simon Peyton JonesImprove improvement in the constraint solver