Fix solving of implicit parameter constraints
[ghc.git] / compiler / typecheck / TcRules.hs
2017-09-19  Herbert Valerio... compiler: introduce custom "GhcPrelude" Prelude
2017-06-29  Simon Peyton JonesFix lexically-scoped type variables
2017-06-05  Alan ZimmermanUdate hsSyn AST to use Trees that Grow
2017-04-13  Simon Peyton JonesRemove dead quantifyTyVars
2017-03-14  Gabor GreifTypos in manual and comments
2017-03-10  Simon Peyton JonesFix constraint simplification in rules
2017-01-18  Gabor GreifTypos in comments only [ci skip]
2016-11-25  Simon Peyton JonesAnother major constraint-solver refactoring
2016-06-13  Simon Peyton JonesImprove typechecking of let-bindings
2016-03-21  Richard EisenbergZonk before calling splitDepVarsOfType.
2016-01-27  Richard EisenbergRefactor the typechecker to use ExpTypes.
2016-01-18  Jan StolarekReplace calls to `ptext . sLit` with `text`
2015-12-11  Richard EisenbergAdd kind equalities to GHC.
2015-12-01  Simon Peyton JonesRefactor treatment of wildcards
2015-06-28  Ben GamariAdd -fcross-module-specialise flag
2015-06-26  Simon Peyton JonesComments only
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-01  Alan ZimmermanApiAnnotations : strings in warnings do not return...
2015-04-14  Simon Peyton JonesComments and white space only
2015-02-15  Simon Peyton JonesImprove typechecking of RULEs, to account for type...
2015-01-16  Alan ZimmermanAPI Annotations tweaks.
2015-01-14  Simon Peyton JonesTighten up constraint solve order for RULES
2015-01-06  Simon Peyton JonesMajor patch to add -fwarn-redundant-constraints
2014-12-03  Austin Seippcompiler: de-lhs typecheck/