Revert "Batch merge"
[ghc.git] / testsuite / tests / gadt /
2019-01-30  Ben GamariRevert "Batch merge"
2019-01-30  Ben GamariBatch merge
2018-10-23  Ben GamariAdd 'hadrian/' from commit '45f3bff7016a2a0cd9a5455a882...
2018-10-15  Vladislav ZavialovEnable -Wcompat=error in the testsuite
2018-08-24  Simon Peyton JonesBetter error reporting for inaccessible code
2018-06-14  Vladislav ZavialovEmbrace -XTypeInType, add -XStarIsType
2018-06-03  Tobias DammersTurn "inaccessible code" error into a warning
2018-05-30  Matthías Páll Giss... Improved Valid Hole Fits
2018-05-18  Simon Peyton JonesOrient TyVar/TyVar equalities with deepest on the left
2018-04-01  Richard EisenbergTrack type variable scope more carefully.
2018-03-05  Simon Peyton JonesWombling around in Trac #14808
2018-02-18  Ryan ScottRename the types in a GADT constructor in toposorted...
2018-01-26  Ryan ScottFix #14719 by using the setting the right SrcSpan
2017-11-22  Ben GamariUpdate Hadrian
2017-11-15  Andrey MokhovPull recent Hadrian changes from upstream
2017-11-10  Ben GamariMerge commit '5229c43ccf77bcbffeced01dccb27398d017fa34'
2017-11-06  Andrey MokhovMerge commit '7b0b9f603bb1215e2b7af23c2404d637b95a4988...
2017-10-25  Ben Gamaritypecheck: Clarify errors mentioned in #14385
2017-10-07  Ryan ScottFix #14320 by looking through HsParTy in more places
2017-10-03  Ryan ScottTrack the order of user-written tyvars in DataCon
2017-09-21  Matthías Páll Giss... Also show types that subsume a hole as valid substituti...
2017-08-17  Ryan ScottSuggest how to fix illegally nested foralls in GADT...
2017-07-27  Richard EisenbergImprove error messages around kind mismatches.
2017-05-26  Simon Peyton JonesSome tidying up of type pretty-printing
2017-05-26  Simon Peyton JonesRe-engineer Given flatten-skolems
2017-05-19  Simon Peyton JonesEnsure that insolubles are fully rewritten
2017-04-11  Gabor GreifTypos in comments [ci skip]
2017-03-10  Simon Peyton JonesFix TcSimplify.decideQuantification for kind variables
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
next