Add valid refinement substitution suggestions for typed holes
[ghc.git] / compiler / typecheck / TcArrows.hs
2017-11-22  Ben GamariUpdate Hadrian
2017-11-21  Ben GamariRevert "trees that grow" work
2017-11-15  Andrey MokhovPull recent Hadrian changes from upstream
2017-11-14  Alan ZimmermanTTG3 Combined Step 1 and 3 for Trees That Grow
2017-11-10  Ben GamariMerge commit '5229c43ccf77bcbffeced01dccb27398d017fa34'
2017-11-06  Andrey MokhovMerge commit '7b0b9f603bb1215e2b7af23c2404d637b95a4988...
2017-10-05  Joachim BreitnerRemove m_type from Match (#14313)
2017-09-19  Herbert Valerio... compiler: introduce custom "GhcPrelude" Prelude
2017-07-31  Simon Peyton JonesUse field names for all uses of datacon Match
2017-07-27  Richard EisenbergFix #13819 by refactoring TypeEqOrigin.uo_thing
2017-06-05  Alan ZimmermanUdate hsSyn AST to use Trees that Grow
2016-12-07  Alan ZimmermanAdd HsSyn prettyprinter tests
2016-06-15  Simon Peyton JonesRe-add FunTy (big patch)
2016-06-06  Alan ZimmermanMerge MatchFixity and HsMatchContext
2016-01-27  Richard EisenbergRefactor the typechecker to use ExpTypes.
2016-01-18  Jan StolarekReplace calls to `ptext . sLit` with `text`
2016-01-16  Rik SteenkampFix some typos
2015-12-24  Richard EisenbergVisible type application
2015-12-12  Richard EisenbergRemove redundant imports
2015-12-11  Richard EisenbergAdd kind equalities to GHC.
2015-12-01  Simon Peyton JonesRefactor treatment of wildcards
2015-11-17  David LuposchainskyMonadFail proposal, phase 1
2015-11-13  Alan ZimmermanAPIAnnotations:add Locations in hsSyn for layout
2015-11-11  Alan ZimmermanRemove fun_infix from Funbind, as it is now in Match
2015-09-17  Simon MarlowApplicativeDo transformation
2015-05-06  Austin SeippRevert "API Annotations : add Locations in hsSyn were...
2015-05-06  Alan ZimmermanAPI Annotations : add Locations in hsSyn were layout...
2015-01-16  Alan ZimmermanAPI Annotations tweaks.
2014-12-17  Simon Peyton JonesFix the scope-nesting for arrows
2014-12-03  Austin Seippcompiler: de-lhs typecheck/