Annotate `[-Wdeferred-type-errors]` in warnings (re #10752)
[ghc.git] / compiler / typecheck / TcErrors.hs
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
2015-05-13  Simon Peyton JonesRefactor tuple constraints
2015-05-12  David TereiNew handling of overlapping inst in Safe Haskell
2015-04-29  Simon Peyton JonesImprove improvement in the constraint solver
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-02-20  Simon Peyton JonesDon't report instance constraints with fundeps as redundant
2015-01-28  Simon Peyton JonesImprove error message on typed holes, and user manual...
2015-01-09  Simon Peyton JonesMake TcRnMonad.reportWarning call makeIntoWarning
2015-01-06  Simon Peyton JonesMake comments less beautiful in order to pacify Haddock
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
2015-01-06  Simon Peyton JonesMake the location in TcLclEnv and CtLoc into a RealSrcSpan
2014-12-23  Simon Peyton JonesA bit of refactoring to TcErrors
2014-12-12  Richard EisenbergFlat constraint --> Simple constraint
2014-12-12  Richard EisenbergRewrite `Coercible` solver
2014-12-08  Gabor Greifcatch some recent typos
2014-12-03  Austin Seippcompiler: de-lhs typecheck/