Fix impredicativity (again)
[ghc.git] / testsuite / tests / typecheck / should_fail / T7368a.stderr
2015-12-11  Richard EisenbergAdd kind equalities to GHC.
2015-11-24  Evan LaforgeRearrange error msgs and add section markers (Trac...
2015-04-29  Simon Peyton JonesImprove improvement in the constraint solver
2014-09-26  Simon Peyton JonesDo not discard insoluble Derived constraints
2014-04-19  Herbert Valerio... Fold template-haskell.git into ghc.git (re #8545)
2014-04-19  Herbert Valerio... Fold integer-gmp.git into ghc.git (re #8545)
2014-04-19  Herbert Valerio... Fold integer-simple.git into ghc.git (re #8545)
2014-04-19  Herbert Valerio... Fold base.git into ghc.git (re #8545)
2014-04-19  Herbert Valerio... Fold ghc-prim.git into ghc.git (re #8545)
2014-02-25  Herbert Valerio... Use U+2018 instead of U+201B quote mark in compiler...
2014-01-12  Herbert Valerio... Fold testsuite.git into ghc.git (re #8545)
2013-04-22  Simon Peyton JonesError message wibbles, following TcErrors refactoring
2013-04-03  Simon Peyton JonesWibbles to error output
2013-03-04  Simon Peyton JonesMerge branch 'master' of
2013-03-04  Amos RobinsonMerge branch 'master' of
2013-03-03  Simon Peyton JonesWibbles to error messages following fixing Trac #7696...
2013-02-24  Ian LynaghUpdate outputs following the unicode quote change in...
2013-01-08  Johan TibellMerge branch 'master' of
2013-01-02  Simon Peyton JonesMerge branch 'master' of
2012-12-24  Simon Peyton JonesMerge branch 'master' of
2012-12-23  Simon Peyton JonesMerge branch 'master' of
2012-12-20  Simon Peyton JonesTest Trac #7368 (second example)