Make the Ord Module independent of Unique order
[ghc.git] / testsuite / tests / polykinds /
2016-06-13  Simon Peyton JonesA second test for Trac #12055
2016-06-13  Simon Peyton JonesTest Trac #12055
2016-06-13  Simon Peyton JonesImprove typechecking of let-bindings
2016-05-18  Bartosz NitkaMake inert_model and inert_eqs deterministic sets
2016-05-10  Simon Peyton JonesTest Trac #11640
2016-04-29  Richard EisenbergRemove the incredibly hairy splitTelescopeTvs.
2016-04-28  Simon Peyton JonesMinor improvement to error message
2016-04-26  Bartosz NitkaKill varSetElemsWellScoped in quantifyTyVars
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-03-21  Richard EisenbergMake equality print better. (#11712)
2016-03-16  Richard EisenbergClean up some pretty-printing in errors.
2016-03-16  Richard EisenbergFix printing of "kind" vs. "type"
2016-03-15  Richard EisenbergTestsuite wibbles from previous commits.
2016-03-15  Richard EisenbergFix #11648.
2016-02-26  Simon Peyton JonesTest Trac #11611
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-15  Bartosz NitkaAdd a testcase for #11362
2016-02-15  Simon Peyton JonesA tiny, outright bug in tcDataFamInstDecl
2016-02-10  Simon Peyton JonesWrap solveEqualities in checkNoErrs
2016-02-08  Simon Peyton JonesFix a nasty superclass expansion bug
2016-02-08  Simon Peyton JonesAdd Edward Kmett's example as a test case
2016-01-27  Richard EisenbergRefactor the typechecker to use ExpTypes.
2016-01-25  Simon Peyton JonesFix exprIsHNF (Trac #11248)
2016-01-25  Simon Peyton JonesAvoid recursive use of immSuperClasses
2016-01-25  Simon Peyton JonesSpecial-case implicit params in superclass expansion
2016-01-22  Joachim BreitnerAdd expected stderr for #11466 test case
2016-01-21  Simon Peyton JonesAllow implicit parameters in constraint synonyms
2016-01-21  Simon Peyton JonesRe-add missing kind generalisation
2015-12-26  Richard EisenbergFix #11255.
2015-12-24  Richard EisenbergVisible type application
2015-12-23  Simon Peyton JonesFix super-class cycle check
2015-12-18  Simon Peyton JonesTest Trac #11248, #11249
2015-12-17  Richard EisenbergFix tcTyClTyVars to handle SigTvs
2015-12-15  Simon Peyton JonesAllow recursive (undecidable) superclasses
2015-12-12  Richard EisenbergTest #9017 in polykinds/T9017
2015-12-11  Richard EisenbergAdd kind equalities to GHC.
2015-12-01  Simon Peyton JonesRefactor treatment of wildcards
2015-11-24  Evan LaforgeRearrange error msgs and add section markers (Trac...
2015-11-21  Bartosz NitkaCreate a deterministic version of tyVarsOfType
2015-11-18  Michał SośnickiFix inconsistent pretty-printing of type families
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
2015-10-06  Simon Peyton JonesFix kind-var abstraction in SimplUtils.abstractFloats
2015-08-06  Simon Peyton JonesTest Trac #10742
2015-08-03  Simon Peyton JonesTest Trac #10134
2015-07-23  Simon Peyton JonesFix Trac #10670
2015-07-13  Thomas MiedemaTestsuite: delete remaining only_compiler_types(['ghc...
2015-07-10  Simon Peyton JonesImprove error message for fundeps
2015-06-18  Simon Peyton JonesTest Trac #10503
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 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  Nick TerrellIncrease constraint tuple limit to 62 (Trac #10451)
2015-06-02  Simon Peyton JonesTest Trac #10451
2015-03-07  Iavor S. DiatchkiCustom `Typeable` solver, that keeps track of kinds.
2015-03-04  Simon Peyton JonesA raft of small changes associated with -XConstrainedCl...
2015-02-06  Simon Peyton JonesTest Trac #10041
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-02  Simon Peyton JonesUncomment the instance signatures, to activate the...
2014-12-01  Simon Peyton JonesTest Trac #7908
2014-12-01  Simon Peyton JonesFix the handling of instance signatures (Trac #9582...
2014-11-28  Simon Peyton JonesKind variables in RHS of an associated type instances...
2014-11-27  Simon Peyton JonesDon't require ConstraintKinds at usage sites (Trac...
2014-11-21  Simon Peyton JonesTest Trac #9569
2014-11-21  Simon Peyton JonesTrac #9222 is actually an ambiguous type, now detected
2014-11-04  Simon Peyton JonesTest Trac #9750
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-09-09  Austin SeippMake Applicative a superclass of Monad
2014-08-12  Richard EisenbergTestsuite wibbles around #9200
2014-08-12  Richard EisenbergChange treatment of CUSKs for synonyms and families...
2014-08-12  Richard EisenbergAdded more testing for #9200. (polykinds/T9200b)
2014-08-12  Richard EisenbergTest #9200. (polykinds/T9200)
2014-07-15  Simon Peyton JonesEntirely re-jig the handling of default type-family...
2014-07-01  Simon Peyton JonesTest Trac #9222
2014-06-20  Simon Peyton JonesTidy up the printing of single-predicate contexts
2014-06-11  Simon Peyton JonesFix tyConToIfaceDecl (Trac #9190)
2014-05-27  Simon Peyton JonesTest Trac #9144
2014-05-23  Simon Peyton JonesMake the unifier a fixpoint even for the free kind...
2014-04-28  Simon Peyton JonesPrint for-alls more often (Trac #9018)
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-14  Simon Peyton JonesTest Trac #8985
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-02-18  Simon Peyton JonesKeep kind-inconsistent Given type equalities (fixes...
next