A collection of type-inference refactorings.
[ghc.git] / compiler / typecheck / TcPluginM.hs
2016-10-21  Simon Peyton JonesA collection of type-inference refactorings.
2016-02-02  Ben GamariTcMType: Add some elementary notes
2015-12-11  Richard EisenbergAdd kind equalities to GHC.
2015-06-16  Ben Gamariusers_guide: Various spelling fixes
2015-06-16  Ben GamariLexer: Suggest adding 'let' on unexpected '=' token
2015-06-01  Adam GundryAdd constraint creation functions to TcPluginM API
2014-12-18  Adam GundryAmend TcPluginM interface
2014-11-30  Edward Z. YangFilter instance visibility based on set of visible...
2014-11-20  Adam GundryImplement typechecker plugins