Merge commit '7b0b9f603bb1215e2b7af23c2404d637b95a4988' as 'hadrian'
[ghc.git] / testsuite / tests / dependent /
2017-11-06  Andrey MokhovMerge commit '7b0b9f603bb1215e2b7af23c2404d637b95a4988...
2017-09-29  Richard EisenbergFix #13391 by checking for kind-GADTs
2017-09-14  Richard EisenbergTest #13938, with expect_broken
2017-09-14  Richard EisenbergMake rejigConRes do kind substitutions
2017-09-14  Richard EisenbergRegression test for #12742
2017-09-14  Richard EisenbergTest #14038 in dependent/should_compile/T14038
2017-07-30  Gabor GreifTypofixes [ci skip]
2017-07-28  Ryan ScottAdd regression tests for #13601, #13780, #13877
2017-07-27  Richard EisenbergFix #12176 by being a bit more careful instantiating.
2017-07-27  Richard EisenbergImprove error messages around kind mismatches.
2017-05-12  Ryan ScottAdd regression test for #11964
2017-05-12  Ryan ScottAdd regression test for #11966
2017-04-06  Ryan ScottAdd regression test for #13538
2017-02-18  Ben GamariType-indexed Typeable
2017-01-23  Simon Peyton JonesApply the right substitution in ty-fam improvement
2017-01-19  Richard EisenbergUpdate levity polymorphism
2016-12-07  Alan ZimmermanAdd HsSyn prettyprinter tests
2016-11-13  Ben GamariKill Type pretty-printer
2016-10-24  Simon Peyton JonesTest Trac #12081
2016-10-24  Simon Peyton JonesTest Trac #12174
2016-09-23  Richard EisenbergFix #12442.
2016-06-28  Simon Peyton JonesWibble error message for #11471
2016-06-22  Gabor GreifTypos in comments [skip ci]
2016-06-20  Thomas MiedemaTestsuite: remove Windows CR [skip ci]
2016-06-15  Simon Peyton JonesRe-add FunTy (big patch)
2016-06-13  Simon Peyton JonesImprove typechecking of let-bindings
2016-04-26  Bartosz NitkaKill varSetElems in TcErrors
2016-04-26  Bartosz NitkaKill varSetElemsWellScoped in quantifyTyVars
2016-04-22  Simon Peyton JonesWarn about simplifiable class constraints
2016-04-04  Simon Peyton JonesDeeply instantiate in :type
2016-03-24  Ben GamariDefault RuntimeRep variables unless -fprint-explicit...
2016-03-21  Richard EisenbergFix #11723 and #11724.
2016-03-21  Richard EisenbergRename test for #11334 to 11334b, fixing conflict
2016-03-21  Richard EisenbergFix #11635 / #11719.
2016-03-21  Richard EisenbergTypeApplications does not imply AllowAmbiguousTypes
2016-03-17  Richard EisenbergFix #11512 by getting visibility right for methods
2016-03-17  Richard EisenbergFix #11716.
2016-03-17  Richard EisenbergFix #11711.
2016-03-16  Richard EisenbergClean up some pretty-printing in errors.
2016-03-16  Richard EisenbergFix #11473.
2016-03-15  Richard EisenbergFix #11648.
2016-03-15  Richard EisenbergFix #11334.
2016-03-15  Richard EisenbergFix #11407.
2016-02-27  Herbert Valerio... Print which flag controls emitted desugaring warnings
2016-02-25  Michael WalkerPrint which warning-flag controls an emitted warning
2016-02-24  Richard EisenbergAddress #11471 by putting RuntimeRep in kinds.
2016-02-17  Richard EisenbergFix #11241.
2016-01-29  Thomas MiedemaMark dynamic-paper as expect_fail_for optasm and optllv...
2016-01-26  Simon Peyton JonesFix two cloning-related bugs
2016-01-26  Simon Peyton JonesAdd "ticks-exhausted" comment
2016-01-15  Richard EisenbergFix #11405.
2016-01-15  Richard EisenbergConstrained types have kind * in validity check.
2016-01-15  Richard EisenbergFix #11311
2015-12-26  Richard EisenbergHave mkCastTy look more closely for reflexivity.
2015-12-14  Richard EisenbergTest #9632 in dependent/should_compile/T9632
2015-12-14  Richard EisenbergSuggest import Data.Kinds when * is out of scope
2015-12-12  Richard EisenbergTest case for #7961.
2015-12-11  Richard EisenbergAdd kind equalities to GHC.