Kill varSetElems in checkValidInferredKinds
[ghc.git] / compiler / typecheck / TcValidity.hs
2016-06-07  Bartosz NitkaKill varSetElems in checkValidInferredKinds
2016-05-18  Bartosz NitkaKill varSetElems in tidyFreeTyCoVars
2016-05-02  RyanGlScottMake validDerivPred ignore non-visible arguments to...
2016-04-29  Richard EisenbergRemove the incredibly hairy splitTelescopeTvs.
2016-04-22  Simon Peyton JonesWarn about simplifiable class constraints
2016-04-19  Simon Peyton JonesTighten checking for associated type instances
2016-04-15  Bartosz NitkaKill some unnecessary varSetElems
2016-03-31  Simon Peyton JonesRefactor error generation for pattern synonyms
2016-03-24  Rik SteenkampAdd `PatSynSigSkol` and modify `PatSynCtxt`
2016-03-21  Richard EisenbergFix #11723 and #11724.
2016-03-15  Richard EisenbergFix #11648.
2016-03-01  Simon Peyton JonesDo not check synonym RHS for ambiguity
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-08  Simon Peyton JonesAllow foralls in instance decls
2016-01-27  Richard EisenbergRefactor the typechecker to use ExpTypes.
2016-01-27  Ömer Sinan Ağacans/unLifted/unlifted for consistency
2016-01-25  Simon Peyton JonesImprove tracing in checkValidInstance
2016-01-25  Simon Peyton JonesRefactor validity checking for type/data instances
2016-01-21  Simon Peyton JonesAllow implicit parameters in constraint synonyms
2016-01-21  Simon Peyton JonesStrip casts in checkValidInstHead
2016-01-21  Simon Peyton JonesRemove the check_lifted check in TcValidity
2016-01-21  Simon Peyton JonesRe-add missing kind generalisation
2016-01-19  Gabor GreifTypos in comments
2016-01-18  Jan StolarekReplace calls to `ptext . sLit` with `text`
2016-01-18  Simon Peyton JonesSimplify API to tcMatchTys
2016-01-15  Richard EisenbergConstrained types have kind * in validity check.
2016-01-15  Richard EisenbergFix #11355.
2016-01-09  Jan StolarekAdd InjectiveTypeFamilies language extension
2016-01-07  Simon Peyton JonesComment wibble
2015-12-24  Richard EisenbergVisible type application
2015-12-17  David LuposchainskyConditionally show plural "s" in warnings
2015-12-15  Ben GamariExpose enabled language extensions to TH
2015-12-11  Richard EisenbergAdd kind equalities to GHC.
2015-12-07  Ömer Sinan AğacanGet rid of tcView altogether
2015-12-04  Simon Peyton JonesTidy user type errors in checkValidType
2015-12-01  Simon Peyton JonesRefactor treatment of wildcards
2015-11-25  Simon Peyton JonesRefactor default methods (Trac #11105)
2015-11-18  Michał SośnickiFix inconsistent pretty-printing of type families
2015-11-16  Iavor S. DiatchkiImplement support for user-defined type errors.
2015-10-20  David KraeutmannExtended default rules now specialize Foldable, Travers...
2015-09-21  Richard Eisenberg`_ <- mapM` --> `mapM_`
2015-09-21  Richard EisenbergRefactor BranchLists.
2015-09-21  Richard EisenbergRun simplifier only when the env is clean.
2015-09-21  Richard EisenbergPerform a validity check on assoc type defaults.
2015-09-19  Richard EisenbergFix #10815 by kind-checking type patterns against known...
2015-09-11  Jan StolarekDead code removal, export cleanup
2015-09-03  Jan StolarekInjective type families
2015-08-05  Simon Peyton JonesTidy up and refactor wildcard handling
2015-08-01  Gabor GreifTypos in comments
2015-07-30  Gabor GreifTypos in comments and strings
2015-06-28  Ben GamariAdd -fcross-module-specialise flag
2015-06-26  Simon Peyton JonesMake fvType ignore kinds
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-01  Simon Peyton JonesRe-do superclass solving (again); fixes #10423
2015-06-01  Simon Peyton JonesComments only
2015-05-18  Simon Peyton JonesRefactor tuple constraints
2015-05-14  Austin SeippRevert multiple commits
2015-05-13  Simon Peyton JonesRefactor tuple constraints
2015-04-30  Simon Peyton JonesTidy up treatment of FlexibleContexts
2015-04-22  Simon Peyton JonesImprove error reporting for impredicative types
2015-03-23  Richard EisenbergDo proper depth checking in the flattener to avoid...
2015-03-18  Gabor GreifTypos in comments
2015-03-04  Simon Peyton JonesCheck for equality before deferring
2015-03-04  Simon Peyton JonesA raft of small changes associated with -XConstrainedCl...
2015-01-06  Simon Peyton JonesMajor patch to add -fwarn-redundant-constraints
2014-12-23  Simon Peyton JonesEliminate so-called "silent superclass parameters"
2014-12-19  Richard EisenbergConsider equality contexts exotic, uninferrable by...
2014-12-12  Richard EisenbergRewrite `Coercible` solver
2014-12-03  Austin Seippcompiler: de-lhs typecheck/