Add valid refinement substitution suggestions for typed holes
[ghc.git] / compiler / typecheck / TcGenDeriv.hs
2018-01-21  Ryan ScottFix #14692 by correcting an off-by-one error in TcGenDeriv
2018-01-18  Ryan ScottFix #14681 and #14682 with precision-aimed parentheses
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-11  Alan ZimmermanWIP on combined Step 1 and 3 for Trees That Grow, HsExpr
2017-11-10  Ben GamariMerge commit '5229c43ccf77bcbffeced01dccb27398d017fa34'
2017-11-09  Ben GamariMerge initial Hadrian snapshot
2017-11-08  Alan ZimmermanWIP on Doing a combined Step 1 and 3 for Trees That...
2017-11-08  Ben GamariMerge remote-tracking branch 'github/pr/83'
2017-11-07  Ben GamariRevert "WIP on combining Step 1 and 3 of Trees That...
2017-11-07  Alan ZimmermanWIP on combining Step 1 and 3 of Trees That Grow
2017-11-06  Andrey MokhovMerge commit '7b0b9f603bb1215e2b7af23c2404d637b95a4988...
2017-11-02  Ryan ScottImplement the EmptyDataDeriving proposal
2017-10-25  Tobias DammersFactor out readField (#14364)
2017-10-16  Peter TrommlerFix typo
2017-09-19  Herbert Valerio... compiler: introduce custom "GhcPrelude" Prelude
2017-09-07  Gabor GreifFix typos in diagnostics, testsuite and comments
2017-07-29  Richard EisenbergFix #14045 by omitting an unnecessary check
2017-06-05  Alan ZimmermanUdate hsSyn AST to use Trees that Grow
2017-06-02  Ryan ScottUse lengthIs and friends in more places
2017-05-09  Ben GamariTreat banged bindings as FunBinds
2017-05-08  NolanMake XNegativeLiterals treat -0.0 as negative 0
2017-04-01  David FeuerDon't derive showList
2017-03-30  David FeuerDeriving for phantom and empty types
2017-03-03  Ben GamariShow: Add ShowS for ", "
2017-02-03  Sylvain HenryDitch static flags
2017-01-09  Gabor GreifTypos in comments (and in a test)
2016-12-07  Alan ZimmermanAdd HsSyn prettyprinter tests
2016-11-15  Gabor GreifTypos in comments, notes and manual
2016-11-06  Ryan ScottAllow GeneralizedNewtypeDeriving for classes with assoc...
2016-11-04  Simon Peyton JonesAdd comments from Trac #12768
2016-11-02  Simon Peyton JonesTiny refactor
2016-10-06  Ryan ScottRefactor TcDeriv and TcGenDeriv
2016-10-01  Ryan ScottImplement deriving strategies
2016-09-30  Simon Peyton JonesFix impredicativity (again)
2016-09-11  Ryan ScottFix derived Ix instances for one-constructor GADTs
2016-09-05  Petr ProkhorenkovMake generated Ord instances smaller (per #10858).
2016-08-30  Ryan ScottTcGenDeriv: Typofix
2016-08-29  Ryan ScottRemove unused DerivInst constructor for DerivStuff
2016-07-18  Ryan ScottMake DeriveFunctor work with unboxed tuples
2016-07-05  Simon Peyton JonesMake unique auxiliary function names in deriving
2016-06-25  Richard Eisenbergs/Invisible/Inferred/g s/Visible/Required/g
2016-06-15  Simon Peyton JonesRe-add FunTy (big patch)
2016-06-06  Alan ZimmermanMerge MatchFixity and HsMatchContext
2016-05-21  Andrew FarmerFix deriving Ord when RebindableSyntax is enabled
2016-03-24  Ben GamariShow: Restore redundant parentheses around records
2016-02-18  Ben GamariFix thinko that crept into D1908
2016-02-17  RyanGlScottRemove superfluous code when deriving Foldable/Traversable
2016-02-08  Simon Peyton JonesDefine mkTvSubst, and use it
2016-02-08  Simon Peyton JonesSome tiding up in TcGenDeriv
2016-01-27  Richard EisenbergRefactor the typechecker to use ExpTypes.
2016-01-27  Ömer Sinan Ağacans/unLifted/unlifted for consistency
2016-01-20  Ben GamariUse (&&) instead of `if` in Ix derivation
2016-01-18  Eric Seidelun-wire-in error, undefined, CallStack, and IP
2016-01-16  Alan ZimmermanWork SourceText in for all integer literals
2015-12-31  Herbert Valerio... Drop pre-AMP compatibility CPP conditionals
2015-12-24  Richard EisenbergVisible type application
2015-12-11  Richard EisenbergAdd kind equalities to GHC.
2015-12-09  Simon Peyton JonesFix DeriveAnyClass (Trac #9968)
2015-12-07  RyanGlScottUse TypeLits in the meta-data encoding of GHC.Generics
2015-12-01  Simon Peyton JonesRefactor treatment of wildcards
2015-11-13  Alan ZimmermanAPIAnnotations:add Locations in hsSyn for layout
2015-10-16  Adam GundryImplement DuplicateRecordFields
2015-10-15  Edward Z. YangRename package key to unit ID, and installed package...
2015-10-03  RyanGlScottFill in associated type defaults with DeriveAnyClass
2015-09-22  RyanGlScottDeriveLift extension (#1830)
2015-09-22  Bartosz NitkaMake derived names deterministic
2015-07-16  RyanGlScottDeriveFoldable for data types with existential constrai...
2015-05-18  Simon Peyton JonesRefactor tuple constraints
2015-05-14  Austin SeippRevert multiple commits
2015-05-13  Simon Peyton JonesRefactor tuple constraints
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-05-01  Simon Peyton JonesRefactor TyCon to eliminate TupleTyCon
2015-04-07  Thomas MiedemaTypechecker: refactoring only
2015-03-16  Thomas MiedemaDont call unsafeGlobalDynFlags if it is not set
2015-03-07  Iavor S. DiatchkiCustom `Typeable` solver, that keeps track of kinds.
2015-03-07  Herbert Valerio... Re-export `<$>` from Prelude (#10113)
2015-03-02  Thomas MiedemaShow record construction/update without parens
2015-03-02  Simon Peyton JonesComments only
2015-02-23  Thomas MiedemaShow '#' on unboxed literals
2015-02-20  Simon Peyton JonesComments only
2014-12-08  Gabor Greifcatch some recent typos
2014-12-03  Austin Seippcompiler: de-lhs typecheck/