testsuite: Use makefile_test
[ghc.git] / testsuite / tests / indexed-types / should_compile / all.T
2019-01-30  Ben Gamaritestsuite: Use makefile_test
2019-01-30  Ben GamariRevert "Batch merge"
2019-01-30  Ben GamariBatch merge
2018-11-29  Simon Peyton JonesTaming the Kind Inference Monster
2018-11-29  Simon Peyton JonesTest Trac #15943
2018-11-22  Ryan ScottFix #15852 by eta expanding data family instance RHSes...
2018-11-02  mniipMove eta-reduced coaxiom compatibility handling quirks...
2018-10-29  Richard EisenbergTest T15711 in indexed-types/should_compile/T15711
2018-10-27  Matthew YacavoneMore explicit foralls (GHC Proposal 0007)
2018-10-23  Ben GamariAdd 'hadrian/' from commit '45f3bff7016a2a0cd9a5455a882...
2018-09-26  Simon Peyton JonesFix Lint of unsaturated type families
2018-08-06  Joachim BreitnerAllow scoped type variables refer to types
2018-07-11  Simon Peyton JonesAdd test for Trac #15352
2018-07-10  Richard EisenbergKind-check CUSK associated types separately
2018-07-05  Ryan ScottFix newtype instance GADTs
2018-07-05  Simon Peyton JonesRefactor validity checking for constraints
2018-06-18  Simon Peyton JonesFix an infinite loop in niFixTCvSubst
2018-06-16  Richard EisenbergQuantify unfixed kind variables in CUSKs
2018-05-23  Simon Peyton JonesUse dischargeFunEq consistently
2018-05-18  Simon Peyton JonesDo not unify representational equalities
2018-05-14  Alp MestanogullariFix another batch of `./validate --slow` failures
2018-04-20  Ryan ScottLint types in newFamInst
2018-02-03  Ryan ScottDon't apply dataToTag's caseRules for data families
2017-12-14  Simon Peyton JonesFix an outright bug in the unflattener
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-09-19  Simon Peyton JonesFix unused-given-constraint bug
2017-09-14  Richard EisenbergTest #12938 in indexed-types/should_compile/T12938
2017-09-14  Simon Peyton JonesFix subtle bug in TcTyClsDecls.mkGADTVars
2017-09-05  Ryan ScottImplicitly bind kind variables in type family instance...
2017-08-17  Ryan ScottRemove unneeded reqlibs for mtl and parsec in the GHC...
2017-07-29  Richard EisenbergFix #14045 by omitting an unnecessary check
2017-07-27  Richard EisenbergFix #12369 by being more flexible with data insts
2017-05-16  Simon Peyton JonesFix the pure unifier
2017-05-09  Simon Peyton JonesReset cc_pend_sc flag in dropDerivedCt
2017-03-14  Ryan ScottAllow associated types to pattern-match in non-class...
2017-02-26  Reid Bartontests: remove extra_files.py (#12223)
2017-02-22  Simon Peyton JonesTest Trac #13244
2017-01-22  Thomas MiedemaRemove clean_cmd and extra_clean usage from .T files
2016-11-25  Simon Peyton JonesAnother major constraint-solver refactoring
2016-11-10  Ryan ScottPrevent GND from inferring an instance context for...
2016-10-17  Simon Peyton JonesFix wrapping order in matchExpectedConTy
2016-10-10  Simon Peyton JonesMore tests for Trac #12522
2016-10-10  Simon Peyton JonesOrient improvement constraints better
2016-06-28  Thomas MiedemaTestsuite: mark tests expect_broken
2016-06-28  Thomas MiedemaTestsuite: run all indexed-types ways on ./validate...
2016-06-22  Simon Peyton JonesExpand given superclasses more eagerly
2016-03-21  Richard EisenbergPrevent eager unification with type families.
2016-03-15  Richard EisenbergAllow eager unification with type families.
2016-03-07  Ben GamariRevert "Mark tests for #11643, #11644, #11645 and ...
2016-02-25  Thomas MiedemaMark tests for #11643, #11644, #11645 and #9406 expect_...
2016-02-18  Simon Peyton JonesTake type-function arity into account
2016-02-15  Bartosz NitkaMake T11361 actually run with reversed uniques
2016-01-26  RyanGlScottSplit off -Wunused-type-variables from -Wunused-matches
2016-01-18  Simon Peyton JonesFix typecheck of default associated type decls
2016-01-16  Simon Peyton JonesFix a number of subtle solver bugs
2015-12-21  Michał SośnickiWarn about unused type variables in type families
2015-12-15  Simon Peyton JonesAllow recursive (undecidable) superclasses
2015-12-10  Simon Peyton JonesTest Trac #11187
2015-10-12  Simon Peyton JonesTest Trac #10931
2015-09-19  Richard EisenbergFix #10815 by kind-checking type patterns against known...
2015-09-11  Simon Peyton JonesAdd a test for Trac #10806
2015-08-07  Simon Peyton JonesTest Trac #10753
2015-08-04  Richard EisenbergFix #10713.
2015-07-13  Thomas MiedemaTestsuite: delete remaining only_compiler_types(['ghc...
2015-07-13  Simon Peyton JonesTest Trac #10634
2015-06-16  Ben GamariEncode alignment in MO_Memcpy and friends
2015-06-16  Ben Gamariusers_guide: Various spelling fixes
2015-06-16  Ben GamariLexer: Suggest adding 'let' on unexpected '=' token
2015-06-15  Simon Peyton JonesRemove derived CFunEqCans after solving givens
2015-06-09  Thomas MiedemaTestsuite: delete expect_fail setups for ghc < 7.1
2015-05-04  Adam GundryPermit empty closed type families
2015-04-29  Simon Peyton JonesTest Trac #10226
2015-04-29  Simon Peyton JonesImprove improvement in the constraint solver
2015-04-22  Edward Z. YangDon't use self {-# SOURCE #-} import in test-cases.
2015-03-23  Richard EisenbergDo proper depth checking in the flattener to avoid...
2015-02-11  Richard EisenbergFix #10079 by recurring after flattening exposes a...
2015-02-06  Simon Peyton JonesFix the nullary-type-class case for associated types
2014-12-19  Richard EisenbergConsider equality contexts exotic, uninferrable by...
2014-12-11  Simon Peyton JonesTest Trac #9090
2014-12-01  Simon Peyton JonesFix the handling of instance signatures (Trac #9582...
2014-11-04  Simon Peyton JonesTestsuite error message changes
2014-11-04  Simon Peyton JonesTest Trac #9747
2014-11-04  Simon Peyton JonesTest Trac #9211
2014-09-04  Simon Peyton JonesAnother test for type function saturation
2014-08-29  Simon Peyton JonesRename red-black test in indexed-types to red-black...
2014-08-28  Simon Peyton JonesAdd an interesting type-family/GADT example of deletion...
2014-07-18  Simon Peyton JonesFurther improvements to floating equalities
2014-06-11  Richard EisenbergTest #9085.
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-10  Simon Peyton JonesFix egregious blunder in the type flattener
2014-03-24  Simon Peyton JonesFlattener preserves synonyms, rewriteEvidence can drop...
2014-03-17  Simon Peyton JonesTest Trac #8889
2014-01-23  Gabor GreifSome typos in comments
next