Introduce GHC.TypeNats module, change KnownNat evidence to be Natural
[ghc.git] / testsuite / tests / typecheck / should_fail / T8603.stderr
2016-12-07  Alan ZimmermanAdd HsSyn prettyprinter tests
2016-01-27  Richard EisenbergRefactor the typechecker to use ExpTypes.
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-04-29  Simon Peyton JonesImprove improvement in the constraint solver
2014-12-23  Simon Peyton JonesEliminate so-called "silent superclass parameters"
2014-12-08  Simon Peyton JonesRevise the inert-set invariants again
2014-09-26  Simon Peyton JonesDo not discard insoluble Derived constraints
2014-04-28  Simon Peyton JonesDo type-class defaulting even if there are insoluble...
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-12-28  Simon Peyton JonesTest Trac #8603