Tidy up and refactor wildcard handling
[ghc.git] / compiler / typecheck / TcValidity.hs
2015-08-05  Simon Peyton JonesTidy up and refactor wildcard handling
2015-08-01  Gabor GreifTypos in comments
2015-07-30  Gabor GreifTypos in comments and strings
2015-06-28  Ben GamariAdd -fcross-module-specialise flag
2015-06-26  Simon Peyton JonesMake fvType ignore kinds
2015-06-18  Simon Peyton JonesReport arity errors correctly despite kinds
2015-06-16  Ben Gamariusers_guide: Various spelling fixes
2015-06-16  Ben GamariLexer: Suggest adding 'let' on unexpected '=' token
2015-06-01  Simon Peyton JonesRe-do superclass solving (again); fixes #10423
2015-06-01  Simon Peyton JonesComments only
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-22  Simon Peyton JonesImprove error reporting for impredicative types
2015-03-23  Richard EisenbergDo proper depth checking in the flattener to avoid...
2015-03-18  Gabor GreifTypos in comments
2015-03-04  Simon Peyton JonesCheck for equality before deferring
2015-03-04  Simon Peyton JonesA raft of small changes associated with -XConstrainedCl...
2015-01-06  Simon Peyton JonesMajor patch to add -fwarn-redundant-constraints
2014-12-23  Simon Peyton JonesEliminate so-called "silent superclass parameters"
2014-12-19  Richard EisenbergConsider equality contexts exotic, uninferrable by...
2014-12-12  Richard EisenbergRewrite `Coercible` solver
2014-12-03  Austin Seippcompiler: de-lhs typecheck/