Rename package key to unit ID, and installed package ID to component ID.
[ghc.git] / compiler / typecheck / TcErrors.hs
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/