Introduce GHC.TypeNats module, change KnownNat evidence to be Natural
[ghc.git] / testsuite / tests / typecheck / should_fail / T5691.stderr
2016-11-25  Simon Peyton JonesAnother major constraint-solver refactoring
2016-06-20  Thomas MiedemaTestsuite: remove Windows CR again.. [skip ci]
2016-06-13  Simon Peyton JonesImprove typechecking of let-bindings
2015-04-29  Simon Peyton JonesImprove improvement in the constraint solver
2014-12-23  Simon Peyton JonesEliminate so-called "silent superclass parameters"
2014-11-21  Simon Peyton JonesWibbles (usually improvements) to error messages
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-29  Simon Peyton JonesWibbles to error messages, following the fix for Trac...
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-31  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org//testsuite
2012-10-31  Simon Peyton JonesWibbles to error messages
2012-09-12  Johan TibellMerge branch 'master' of https://github.com/ghc/testsuite
2012-07-10  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/testsuite
2012-06-27  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-06-27  Manuel M T ChakravartyAdapt to the re-introduction of silent superclass param...
2012-04-24  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/testsuite
2012-04-23  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org//testsuite
2012-04-23  Ian LynaghMerge nb:ghc/git/ghc/testsuite
2012-04-23  Simon Peyton JonesError message wibbles
2012-04-20  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/testsuite
2012-04-13  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/testsuite
2011-12-15  Simon Peyton JonesTest Trac #5691