TcTypeable: Try to reuse KindReps
[ghc.git] / testsuite / tests / gadt /
2017-02-26  Reid Bartontests: remove extra_files.py (#12223)
2017-01-22  Thomas MiedemaRemove clean_cmd and extra_clean usage from .T files
2017-01-18  Gabor GreifSpelling fixes in comments [ci skip]
2016-10-24  Simon Peyton JonesTake account of kinds in promoteTcType
2016-10-21  Simon Peyton JonesA collection of type-inference refactorings.
2016-06-20  Thomas MiedemaTestsuite: tabs -> spaces [skip ci]
2016-06-20  Thomas MiedemaTestsuite: remove Windows CR [skip ci]
2016-06-15  Simon Peyton JonesMajor patch to introduce TyConBinder
2016-06-13  Simon Peyton JonesImprove typechecking of let-bindings
2016-04-28  Thomas MiedemaTestsuite: benign test fixes
2016-04-26  Bartosz NitkaKill varSetElemsWellScoped in quantifyTyVars
2016-03-21  Richard EisenbergMake equality print better. (#11712)
2016-02-27  Herbert Valerio... Annotate `[-Wdeferred-type-errors]` in warnings (re...
2016-02-27  Herbert Valerio... Print which flag controls emitted desugaring warnings
2016-02-25  Thomas MiedemaTestsuite: delete empty files [skip ci]
2016-02-25  George Karachalias(Alternative way to) address #8710
2016-02-23  Thomas MiedemaTestsuite: delete Windows line endings [skip ci] (...
2016-02-23  Thomas MiedemaTestsuite: accept output without Windows line endings...
2016-02-23  Thomas MiedemaTestsuite: delete Windows line endings [skip ci] (...
2016-02-11  Gabor GreifAnother batch of typo fixes in non-code
2016-02-08  Simon Peyton JonesAllow foralls in instance decls
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-03  George KarachaliasMajor Overhaul of Pattern Match Checking (Fixes #595)
2015-12-01  Simon Peyton JonesRefactor treatment of wildcards
2015-11-24  Evan LaforgeRearrange error msgs and add section markers (Trac...
2015-10-05  Gabor GreifA few typos in comments
2015-09-02  Thomas MiedemaTestsuite: by default run all tests for a single way
2015-08-03  Ulya TrofimovichRemoved deprecated syntax for GADT constuctors.
2015-07-30  Thomas MiedemaTestsuite: mark tests recently fixed as passing + accep...
2015-07-18  Thomas MiedemaTestsuite: mark gadt/termination expect_broken_for...
2015-07-13  Thomas MiedemaTestsuite: delete remaining only_compiler_types(['ghc...
2015-06-18  Simon Peyton JonesRemove some horrible munging of origins for Coercible
2015-06-18  Simon Peyton JonesReport arity errors correctly despite kinds
2015-06-16  Ben Gamariusers_guide: Various spelling fixes
2015-06-16  Ben GamariLexer: Suggest adding 'let' on unexpected '=' token
2015-06-11  Thomas MiedemaTestsuite: change some expect_fail tests to expect_broken
2015-06-09  Thomas MiedemaTestsuite: delete expect_fail setups for ghc < 7.1
2015-02-11  Richard EisenbergPropagate ReturnTvs in matchExpectedFunTys
2015-01-06  Simon Peyton JonesMajor patch to add -fwarn-redundant-constraints
2015-01-06  Simon Peyton JonesPrint singleton consraints without parens
2015-01-06  Simon Peyton JonesModify a couple of error messages slightly
2014-12-12  Richard EisenbergRewrite `Coercible` solver
2014-11-04  Simon Peyton JonesTestsuite error message changes
2014-10-07  Simon Peyton JonesMerge branch 'master' of git.haskell.org/ghc
2014-10-07  Simon Peyton JonesUse correct precedence when printing contexts with...
2014-08-06  Joachim BreitnerMark type-rep not as expect_broken when debugged
2014-07-31  Simon Peyton JonesTest Trac #9380
2014-05-12  Simon Peyton JonesIn splitHsFunType, take account of prefix (->)
2014-04-19  Herbert Valerio... Normalize GHC Trac URLs
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-04-08  Simon Peyton JonesImprove error reporting for untouchable type variables
2014-02-25  Herbert Valerio... Use U+2018 instead of U+201B quote mark in compiler...
2014-01-16  Joachim Breitnertype-rep is only broken when debugging is on
2014-01-12  Herbert Valerio... Fold testsuite.git into ghc.git (re #8545)
2013-12-04  Joachim BreitnerUpdate output: More elaborate GND error messages
2013-12-02  Richard EisenbergWibbles to output caused by change in checking role...
2013-12-02  Joachim BreitnerMark type-rep as broken until #5869 is fixed
2013-12-02  Joachim BreitnerUpdate testsuite for nicer Coercible message
2013-11-22  Joachim BreitnerCoercible-base GND: update error messages
2013-11-22  Simon Peyton Jonesgadt6 is fine now, even with DEBUG
2013-11-22  Joachim BreitnerMark tests as expect_broken when borken with -DDEBUG
2013-10-23  Richard EisenbergUpdate tests to reflect new check for GeneralizedNewtyp...
2013-09-14  Joachim BreitnerAdjust test suite to new Language Pragma warnigns
2013-09-10  Simon Peyton JonesError message wibbles
2013-09-08  Austin SeippFix most AMP warnings.
2013-08-31  Ryan NewtonMerge branch 'master' into atomics
2013-08-28  Richard EisenbergWibble to output from change in roles error messages
2013-08-04  Richard EisenbergMerge branch 'master' of ssh://darcs.haskell.org/srv...
2013-08-04  Richard EisenbergWibbles to output from refactoring datacon code
2013-08-02  Richard EisenbergMerge branch 'master' of ssh://darcs.haskell.org/srv...
2013-08-02  Richard EisenbergAdd tests for roles.
2013-06-20  Simon Peyton JonesTest Trac #7558
2013-06-10  Simon Peyton JonesTest Trac #7974
2013-05-21  Simon Peyton JonesImproved error message
2013-04-29  Simon Peyton JonesWibbles to error messages, following the fix for Trac...
2013-04-22  Simon Peyton JonesError message wibbles, following TcErrors refactoring
2013-02-24  Ian LynaghUpdate outputs following the unicode quote change in...
2013-02-12  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/testsuite
2013-02-12  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/testsuite
2013-02-11  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2013-02-11  Ian LynaghMore helper conversions
2013-02-11  Ian LynaghConvert more helper functions
2013-02-08  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/testsuite
2013-02-08  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/testsuite
2013-02-01  Gabor Greifspelling
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 JonesAdapt to being a bit more picky about inference with...
2012-10-19  Simon Peyton JonesImprovements to kind error messages, mainly
2012-10-19  Simon Peyton JonesReplace Rank2Types and PolymorphicComponents by RankNTypes
2012-10-13  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
next