Introduce GHC.TypeNats module, change KnownNat evidence to be Natural
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail134.stderr
2016-02-23  Thomas MiedemaTestsuite: accept output without Windows line endings...
2015-12-01  Simon Peyton JonesRefactor treatment of wildcards
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-02-24  Ian LynaghUpdate outputs following the unicode quote change in...
2012-12-05  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/testsuite
2012-11-30  Johan TibellMerge branch 'master' of https://github.com/ghc/testsuite
2012-10-26  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org//testsuite
2012-10-24  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org//testsuite
2012-10-19  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org//testsuite
2012-10-19  Simon Peyton JonesImprovements to kind error messages, mainly
2012-04-13  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/testsuite
2011-11-25  Jose Pedro MagalhaesUpdate outputs
2011-11-21  Jose Pedro MagalhaesUpdate outputs after renaming the ? and ?? kinds
2011-09-09  Max BolingbrokeMerge branch 'no-pred-ty'
2011-09-06  Max BolingbrokeTest the ConstraintKind extension and related changes
2011-07-20  David TereiMove tests from tests/ghc-regress/* to just tests/*