Starting to compile.
[ghc.git] / compiler / typecheck / TcType.hs
2015-06-30  Richard EisenbergStarting to compile.
2015-06-30  Richard EisenbergMidway through redesign of the type inference alg.
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/