testsuite: Add test for #16104
[ghc.git] / testsuite / tests / indexed-types /
2017-05-05  Gabor GreifTypos in comments [ci skip]
2017-04-06  Simon Peyton JonesYet another attempt at inferring the right quantification
2017-03-29  Matthew PickeringPrint module when dumping rules
2017-03-29  Simon Peyton JonesFix ASSERT failure in TcErrors
2017-03-27  Simon Peyton JonesFix error-message suppress on given equalities
2017-03-14  Ryan ScottAllow associated types to pattern-match in non-class...
2017-03-10  Simon Peyton JonesImprove error messages for skolems
2017-03-10  Simon Peyton JonesFix TcSimplify.decideQuantification for kind variables
2017-03-07  Gabor GreifTypos in changelog and comments
2017-02-28  Simon Peyton JonesThe Early Inline Patch
2017-02-26  Reid Bartontests: remove extra_files.py (#12223)
2017-02-22  Simon Peyton JonesTest Trac #13244
2017-02-22  Simon Peyton JonesTest Trac #13271
2017-02-20  Gabor GreifTypos in manual, tests and comments
2017-02-14  Reid BartonCheck local type family instances against all imported...
2017-02-06  Reid BartonDon't replace type family instances with the same LHS...
2017-01-24  Reid BartonAdd a failing test for #13102
2017-01-22  Thomas MiedemaRemove clean_cmd and extra_clean usage from .T files
2016-12-21  Simon Peyton JonesFix 'SPECIALISE instance'
2016-12-15  Ben Gamaribase: Bump version to 4.10.0.0
2016-12-07  Alan ZimmermanAdd HsSyn prettyprinter tests
2016-11-29  Sylvain HenryReplace -fshow-source-paths with -fhide-source-paths
2016-11-25  Simon Peyton JonesTest Trac #12867
2016-11-25  Simon Peyton JonesAllow TyVars in TcTypes
2016-11-25  Simon Peyton JonesAnother major constraint-solver refactoring
2016-11-15  Simon MarlowMark T12041 as expect_broken with -DDEBUG (#12826)
2016-11-12  Sylvain HENRYMake default output less verbose (source/object paths)
2016-11-10  Ryan ScottPrevent GND from inferring an instance context for...
2016-11-06  Matthew PickeringStop -dno-debug-output suppressing -ddump-tc-trace
2016-10-24  Simon Peyton JonesTake account of kinds in promoteTcType
2016-10-21  Simon Peyton JonesA collection of type-inference refactorings.
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-09-26  Simon Peyton JonesPrint foralls in user format
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-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-05-19  Simon Peyton JonesImprove pretty-printing of equalities
2016-05-18  Bartosz NitkaKill varSetElems in tidyFreeTyCoVars
2016-05-18  Bartosz NitkaMake inert_model and inert_eqs deterministic sets
2016-05-04  Bartosz NitkaKill non-deterministic foldUFM in TrieMap and TcAppMap
2016-04-26  Bartosz NitkaKill varSetElems in TcErrors
2016-04-26  Bartosz NitkaKill varSetElemsWellScoped in quantifyTyVars
2016-04-26  Thomas MiedemaTestsuite: fixup lots of tests
2016-04-22  Bartosz NitkaFix typos: alpah -> alpha
2016-04-22  Simon Peyton JonesWarn about simplifiable class constraints
2016-04-20  Simon Peyton JonesSCC analysis for instances as well as types/classes
2016-04-19  Simon Peyton JonesTighten checking for associated type instances
2016-04-05  Herbert Valerio... Fix misattribution of `-Wunused-local-binds` warnings
2016-03-21  Richard EisenbergPrevent eager unification with type families.
2016-03-21  Richard EisenbergMake equality print better. (#11712)
2016-03-16  Richard EisenbergClean up some pretty-printing in errors.
2016-03-15  Richard EisenbergTestsuite wibbles from previous commits.
2016-03-15  Richard EisenbergAllow eager unification with type families.
2016-03-07  Ben GamariRevert "Mark tests for #11643, #11644, #11645 and ...
2016-02-29  Thomas MiedemaRemove some more Windows line endings [skip ci]
2016-02-25  Michael WalkerPrint which warning-flag controls an emitted warning
2016-02-25  Thomas MiedemaTestsuite: delete empty files [skip ci]
2016-02-25  Thomas MiedemaMark tests for #11643, #11644, #11645 and #9406 expect_...
2016-02-24  Richard EisenbergAddress #11471 by putting RuntimeRep in kinds.
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-18  Simon Peyton JonesTake type-function arity into account
2016-02-17  Thomas MiedemaTestsuite: delete compiler_lt/le/gt/ge setup functions
2016-02-15  Bartosz NitkaMake T11361 actually run with reversed uniques
2016-02-08  Simon Peyton JonesFix SimpleFail12 error output
2016-02-08  Simon Peyton JonesAllow foralls in instance decls
2016-01-27  Richard EisenbergRefactor the typechecker to use ExpTypes.
2016-01-26  RyanGlScottSplit off -Wunused-type-variables from -Wunused-matches
2016-01-25  Simon Peyton JonesRefactor validity checking for type/data instances
2016-01-22  Ben GamariAdd tests for #11465 and the kind invariant
2016-01-21  Simon Peyton JonesRemove the check_lifted check in TcValidity
2016-01-18  Simon Peyton JonesRefactoring on IdInfo and system derived names
2016-01-18  Simon Peyton JonesFix typecheck of default associated type decls
2016-01-16  Simon Peyton JonesAdd missing T11408.hs
2016-01-16  Simon Peyton JonesFix a number of subtle solver bugs
2015-12-24  Richard EisenbergVisible type application
2015-12-21  Michał SośnickiWarn about unused type variables in type families
2015-12-17  Richard EisenbergFix #11230.
2015-12-15  Simon Peyton JonesAllow recursive (undecidable) superclasses
2015-12-12  John LeoRefactor type families in Template Haskell
2015-12-11  Richard EisenbergAdd kind equalities to GHC.
2015-12-10  Simon Peyton JonesTest Trac #11187
2015-12-07  David KraeutmannRe-export data family when exporting a data instance...
2015-12-01  Simon Peyton JonesRefactor treatment of wildcards
2015-11-27  Simon Peyton JonesCheck arity on default decl for assoc types
2015-11-24  Evan LaforgeRearrange error msgs and add section markers (Trac...
2015-11-23  Simon Peyton JonesImprove constraint-used-as-type error msg
2015-11-18  Michał SośnickiFix inconsistent pretty-printing of type families
2015-11-01  Herbert Valerio... Bump ghc-prim version to 0.5.0.0 (closes #11043)
2015-11-01  Herbert Valerio... Bump `base` version to 4.9.0.0 (closes #11026)
2015-10-30  Ben GamariGenerate Typeable info at definition sites
2015-10-29  Ben GamariRevert "Generate Typeable info at definition sites"
2015-10-29  Ben GamariGenerate Typeable info at definition sites
next