Implement QuantifiedConstraints
[ghc.git] / compiler / typecheck / TcPluginM.hs
2018-06-04  Simon Peyton JonesImplement QuantifiedConstraints
2018-01-26  Joachim BreitnerTurn EvTerm (almost) into CoreExpr (#14691)
2017-12-21  Simon Peyton JonesRefactor coercion holes
2017-11-22  Ben GamariUpdate Hadrian
2017-11-15  Andrey MokhovPull recent Hadrian changes from upstream
2017-11-10  Ben GamariMerge commit '5229c43ccf77bcbffeced01dccb27398d017fa34'
2017-11-06  Andrey MokhovMerge commit '7b0b9f603bb1215e2b7af23c2404d637b95a4988...
2017-09-22  Herbert Valerio... Fix build with GhcWithInterpreter=NO
2017-09-19  Herbert Valerio... compiler: introduce custom "GhcPrelude" Prelude
2017-04-29  Ben GamariPrefer #if defined to #ifdef
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