Fix #13819 by refactoring TypeEqOrigin.uo_thing
[ghc.git] / compiler / typecheck / TcSigs.hs
2017-07-27  Richard EisenbergFix #13819 by refactoring TypeEqOrigin.uo_thing
2017-07-11  Ömer Sinan AğacanMention which -Werror promoted a warning to an error
2017-06-16  Simon Peyton JonesFix the treatment of 'closed' definitions
2017-06-05  Alan ZimmermanUdate hsSyn AST to use Trees that Grow
2017-04-11  Gabor GreifTypos in comments [ci skip]
2017-03-14  Gabor GreifTypos in manual and comments
2017-01-23  Gabor GreifTypos and grammar in manual/comments
2017-01-19  Richard EisenbergUpdate levity polymorphism
2016-12-17  Richard EisenbergReshuffle levity polymorphism checks.
2016-07-20  Ömer Sinan AğacanSupport SCC pragmas in declaration context
2016-07-01  Matthew PickeringAllow one type signature for multiple pattern synonyms
2016-06-25  Richard Eisenbergs/Invisible/Inferred/g s/Visible/Required/g
2016-06-21  Gabor GreifTypos in comments
2016-06-15  Simon Peyton JonesMajor patch to introduce TyConBinder
2016-06-15  Simon Peyton JonesRe-add FunTy (big patch)
2016-06-13  Simon Peyton JonesImprove typechecking of let-bindings