Fix typo in TcErrors.hs
[ghc.git] / compiler / typecheck / TcErrors.hs
2017-04-13  Matthías Páll Giss... Fix typo in TcErrors.hs
2017-04-12  Matthew PickeringSplit up RnEnv into 4 modules, RnUnbound, RnUtils and...
2017-04-06  Simon Peyton JonesAdd a missing addDeferredBinding
2017-03-31  Ben GamariClean up coreView/tcView.
2017-03-30  Gabor GreifTypos in comments [ci skip]
2017-03-29  Matthías Páll Giss... Show valid substitutions for typed holes
2017-03-29  Simon Peyton JonesFix ASSERT failure in TcErrors
2017-03-27  Simon Peyton JonesFix error-message suppress on given equalities
2017-03-10  Simon Peyton JonesImprove error messages for skolems
2017-02-26  Simon Peyton JonesChange -ddump-tc-trace output in TcErrors, slightly
2017-02-07  Gabor GreifTypos in comments [skip ci]
2017-02-03  Sylvain HenryDitch static flags
2017-01-25  Gabor GreifTypos in comments [ci skip]
2017-01-19  Richard EisenbergUpdate levity polymorphism
2017-01-12  Simon Peyton JonesSmall refactoring in TcErrors
2016-12-15  Maciej BieleckiShow constraints when reporting typed holes
2016-11-25  Simon Peyton JonesAllow TyVars in TcTypes
2016-11-25  Simon Peyton JonesAnother major constraint-solver refactoring
2016-11-13  Ben GamariKill Type pretty-printer
2016-10-21  Simon Peyton JonesRefactor occurrence-check logic
2016-10-21  Simon Peyton JonesA collection of type-inference refactorings.
2016-10-21  Gabor GreifTypos in comments
2016-10-17  Simon Peyton JonesComments about -Wredundant-constraints
2016-09-30  Simon Peyton JonesAdd Outputable Report in TcErrors
2016-09-12  Simon Peyton JonesBe less picky about reporing inaccessible code
2016-08-31  Eugene AkentyevAdd -fdefer-out-of-scope-variables flag (#12170).
2016-08-17  Simon Peyton JonesNot-in-scope variables are always errors
2016-08-01  Annie CherkaevRelevant Bindings no longer reports shadowed bindings...
2016-06-28  Simon Peyton JonesDon't omit any evidence bindings
2016-06-25  Richard Eisenbergs/Invisible/Inferred/g s/Visible/Required/g
2016-06-23  Simon Peyton JonesGive lookupGRE_Name a better API
2016-06-15  Simon Peyton JonesRe-add FunTy (big patch)
2016-06-13  Simon Peyton JonesImprove typechecking of let-bindings
2016-05-18  Bartosz NitkaKill varSetElems in tidyFreeTyCoVars
2016-05-15  Ömer Sinan AğacanFix a performance issue with -fprint-expanded-synonyms
2016-05-12  Bartosz NitkaRefactor some ppr functions to use pprUFM
2016-05-10  Bartosz NitkaKill unnecessary cmpType in lhs_cmp_type
2016-04-28  Bartosz NitkaAdd uniqSetAny and uniqSetAll and use them
2016-04-28  Simon Peyton JonesMinor improvement to error message
2016-04-26  Bartosz NitkaKill varSetElems in TcErrors
2016-04-19  Simon Peyton JonesDefine TyCoRep.ppSuggestExplicitKinds, and use it
2016-04-15  Bartosz NitkaKill some unnecessary varSetElems
2016-04-10  Jason EisenbergFix suggestions for unbound variables (#11680)
2016-03-31  Simon Peyton JonesRefactor error generation for pattern synonyms
2016-03-24  Rik SteenkampAdd `PatSynSigSkol` and modify `PatSynCtxt`
2016-03-16  Richard EisenbergClean up some pretty-printing in errors.
2016-03-15  Richard EisenbergFix #11407.
2016-02-27  Herbert Valerio... Annotate `[-Wdeferred-type-errors]` in warnings (re...
2016-02-27  Herbert Valerio... Annotate `[-Wredundant-constraints]` in warnings (re...
2016-02-26  Simon Peyton JonesComments and white space only
2016-02-26  Simon Peyton JonesExclude TyVars from the constraint solver
2016-02-25  Michael WalkerPrint which warning-flag controls an emitted warning
2016-02-25  Rik SteenkampImprove pattern synonym error messages (add `PatSynOrigin`)
2016-02-24  Richard EisenbergAddress #11471 by putting RuntimeRep in kinds.
2016-02-17  Simon Peyton JonesSmall refactor and comments
2016-02-16  Yuras ShumovichSuggest candidate instances in error message
2016-02-16  Rik SteenkampFix typos
2016-02-16  Rik SteenkampFix two wrong uses of "data constructor" in error msgs
2016-02-15  Simon Peyton JonesComments only
2016-02-15  Simon Peyton JonesImprove error message suppression
2016-02-09  Ben GamariTcErrors: Fix plural form of "instance" error
2016-01-27  Richard EisenbergRefactor the typechecker to use ExpTypes.
2016-01-18  Jan StolarekReplace calls to `ptext . sLit` with `text`
2016-01-18  Simon Peyton JonesSimplify API to tcMatchTys
2016-01-07  Simon Peyton JonesTidy up tidySkolemInfo
2015-12-31  Herbert Valerio... Drop pre-AMP compatibility CPP conditionals
2015-12-24  Richard EisenbergVisible type application
2015-12-17  David LuposchainskyConditionally show plural "s" in warnings
2015-12-16  David LuposchainskyAdd `-W(no-)xxx` aliases for `-f(no-)warn-xxx` flags
2015-12-15  Ben GamariExpose enabled language extensions to TH
2015-12-15  Simon Peyton JonesAllow recursive (undecidable) superclasses
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 JonesMinor refactoring of user type errors
2015-12-01  Simon Peyton JonesRefactor treatment of wildcards
2015-11-29  David LuposchainskyImplement warnings for Semigroups as parent of Monoid
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  Joachim BreitnerMore import related hints
2015-11-17  David LuposchainskyMonadFail proposal, phase 1
2015-11-16  Iavor S. DiatchkiImplement support for user-defined type errors.
2015-10-21  Richard EisenbergRemove old trace statement
2015-10-15  Edward Z. YangRename package key to unit ID, and installed package...
2015-10-08  David KraeutmannImprove error messages for ambiguous type variables
2015-09-21  Richard EisenbergSlightly better `Coercible` errors.
2015-09-02  Simon Peyton JonesImprove the error messages for class instance errors
2015-08-05  Simon Peyton JonesTidy up and refactor wildcard handling
2015-07-21  Simon Peyton JonesComments only
2015-07-16  Ömer Sinan AğacanImplement -fprint-expanded-synonyms
2015-07-10  Simon Peyton JonesBetter type wildcard errors
2015-07-07  David KraeutmannAllow deferred type error warnings to be suppressed
2015-06-28  Ben GamariAdd -fcross-module-specialise flag
2015-06-26  Simon Peyton JonesImprove error message for Typeable k (T k)
2015-06-26  Simon Peyton JonesTreat out-of-scope variables as holes
2015-06-18  Simon Peyton JonesRemove some horrible munging of origins for Coercible
2015-06-18  Simon Peyton JonesRename getCtLoc, setCtLoc
2015-06-16  Richard EisenbergRefactor handling of decomposition.
2015-06-16  Richard EisenbergFix #10495.
2015-05-18  Simon Peyton JonesRefactor tuple constraints
2015-05-14  Austin SeippRevert multiple commits
next