Introduce GHC.TypeNats module, change KnownNat evidence to be Natural
[ghc.git] / testsuite / tests / typecheck / should_fail / TcCoercibleFail3.hs
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-03-17  Joachim BreitnerFix validation issue due to Coercible move (#8894)
2014-01-12  Herbert Valerio... Fold testsuite.git into ghc.git (re #8545)
2013-11-19  Joachim BreitnerTest case for undersaturated newtype in Coercions