Refactor handling of decomposition.
[ghc.git] / compiler / typecheck / TcErrors.hs
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/