Major Overhaul of Pattern Match Checking (Fixes #595)
[ghc.git] / compiler / typecheck / TcType.hs
2015-12-03  George KarachaliasMajor Overhaul of Pattern Match Checking (Fixes #595)
2015-12-02  Bartosz NitkaImplement more deterministic operations and document...
2015-12-01  Simon Peyton JonesRefactor treatment of wildcards
2015-11-21  Bartosz NitkaCreate a deterministic version of tyVarsOfType
2015-10-17  Herbert Valerio... Make Monad/Applicative instances MRP-friendly
2015-10-06  Simon Peyton JonesComments about TcLevel assignment
2015-10-02  Ben GamariFix treatment of -0.0
2015-09-21  Richard EisenbergRefactor BranchLists.
2015-09-21  Richard EisenbergSlightly better `Coercible` errors.
2015-08-05  Simon Peyton JonesTidy up and refactor wildcard handling
2015-07-16  Ömer Sinan AğacanImplement -fprint-expanded-synonyms
2015-06-28  Ben GamariAdd -fcross-module-specialise flag
2015-06-26  Simon Peyton JonesKill off sizePred
2015-06-26  Simon Peyton JonesTreat out-of-scope variables as holes
2015-06-16  Ben Gamariusers_guide: Various spelling fixes
2015-06-16  Ben GamariLexer: Suggest adding 'let' on unexpected '=' token
2015-06-11  Simon Peyton JonesAnother major improvement of "improvement"
2015-06-03  Edward Z. YangAllow Any return in foreign prim, fixes #10460.
2015-06-02  Simon Peyton JonesImprove FFI error reporting
2015-06-01  Simon Peyton JonesRe-do superclass solving (again); fixes #10423
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-10  Gabor GreifTypos in error messages and in comments
2015-04-07  Simon Peyton JonesLook inside synonyms for foralls when unifying
2015-04-07  Simon Peyton JonesMore aggressive Given/Wanted overlap check
2015-02-20  Simon Peyton JonesDon't report instance constraints with fundeps as redundant
2015-02-11  Richard EisenbergPropagate ReturnTvs in matchExpectedFunTys
2015-02-10  Yuri de WitReplace .lhs with .hs in compiler comments
2015-01-06  Simon Peyton JonesMajor patch to add -fwarn-redundant-constraints
2014-12-31  Simon Peyton JonesWhen solving one Given from another, use the depth...
2014-12-18  Iavor S. DiatchkiAdd a provenance field to universal coercions.
2014-12-12  Richard EisenbergFlat constraint --> Simple constraint
2014-12-12  Richard EisenbergRewrite `Coercible` solver
2014-12-10  Simon Peyton JonesFix type-variable details naming (fixes misleading...
2014-12-08  Gabor Greifcatch some recent typos
2014-12-03  Austin Seippcompiler: de-lhs typecheck/