Fix impredicativity (again)
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail214.hs
2015-12-11  Richard EisenbergAdd kind equalities to GHC.
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-01-12  Herbert Valerio... Fold testsuite.git into ghc.git (re #8545)
2011-11-11  Jose Pedro MagalhaesNew kind-polymorphic core
2011-09-09  Max BolingbrokeMerge branch 'no-pred-ty'
2011-09-07  Simon Peyton JonesConstraintKind -> ConstraintKinds
2011-09-06  Max BolingbrokeTest the ConstraintKind extension and related changes