Embrace -XTypeInType, add -XStarIsType
[ghc.git] / compiler / typecheck / TcDeriv.hs
2018-06-14  Vladislav ZavialovEmbrace -XTypeInType, add -XStarIsType
2018-06-05  Ryan ScottIntroduce DerivingVia
2018-04-27  Alan ZimmermanTTG : complete for balance of hsSyn AST
2018-04-09  Alan ZimmermanRestore Trees That Grow reverted commits
2018-04-01  Richard EisenbergTrack type variable scope more carefully.
2018-03-25  Ryan ScottFix #14916 with an additional validity check in deriveT...
2018-03-23  Ryan ScottAllow PartialTypeSignatures in standalone deriving...
2018-02-20  Ryan ScottSlight refactor of stock deriving internals
2018-02-18  Ryan ScottImplement stopgap solution for #14728
2018-02-01  Ryan ScottSequester deriving-related validity check into cond_stdOK
2017-12-21  Ryan ScottRemove hack put in place for #12512
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-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-10-19  Ryan ScottError when deriving instances in hs-boot files
2017-09-26  Gabor GreifA bunch of typofixes
2017-09-19  Herbert Valerio... compiler: introduce custom "GhcPrelude" Prelude
2017-08-15  Ryan ScottUse a ReaderT in TcDeriv to avoid some tedious plumbing
2017-08-12  Ryan ScottDon't suppress unimplemented type family warnings with...
2017-07-25  Ryan ScottFix #10684 by processing deriving clauses with finer...
2017-07-11  Ryan ScottSuppress unused warnings for selectors for some derived...
2017-06-05  Alan ZimmermanUdate hsSyn AST to use Trees that Grow
2017-06-02  Ryan ScottUse lengthIs and friends in more places
2017-04-12  Matthew PickeringSplit up RnEnv into 4 modules, RnUnbound, RnUtils and...
2017-02-21  Simon Peyton JonesRefactor inferConstraints not to use CPS
2017-02-21  Simon Peyton JonesFix computation of dfun_tvs in mkNewTypeEqn
2017-02-10  Ryan ScottRefactor DeriveAnyClass's instance context inference
2017-02-03  Sylvain HenryDitch static flags
2016-12-09  Ryan ScottRename TH constructors for deriving strategies
2016-12-01  Gabor GreifTypos in comments
2016-11-13  Ben GamariKill Type pretty-printer
2016-11-10  Ryan ScottPrevent GND from inferring an instance context for...
2016-11-10  Simon Peyton JonesRefactoring of mkNewTypeEqn
2016-11-06  Ryan ScottAllow GeneralizedNewtypeDeriving for classes with assoc...
2016-11-02  Simon Peyton JonesTiny refactor
2016-10-15  Ryan ScottFix Show derivation in the presence of RebindableSyntax...
2016-10-14  Ryan ScottMake error when deriving an instance for a typeclass...
2016-10-06  Ryan ScottRefactor TcDeriv and TcGenDeriv
2016-10-05  Ryan ScottBring Note in TcDeriv up to date
2016-10-02  Ryan ScottDisallow standalone deriving declarations involving...
2016-10-01  Ryan ScottImplement deriving strategies
2016-09-30  Simon Peyton JonesFix impredicativity (again)
2016-09-15  Ben GamariUnify CallStack handling in ghc
2016-09-05  mniipLess scary arity mismatch error message when deriving
2016-08-29  Ryan ScottRemove unused DerivInst constructor for DerivStuff
2016-07-05  Simon Peyton JonesMake unique auxiliary function names in deriving
2016-06-23  Simon Peyton JonesGive lookupGRE_Name a better API
2016-06-22  Simon Peyton JonesImprove error message in deriving( Functor )
2016-06-15  Simon Peyton JonesMajor patch to introduce TyConBinder
2016-06-15  Simon Peyton JonesRe-add FunTy (big patch)
2016-06-14  Bartosz NitkaRename cmpType to nonDetCmpType
2016-05-24  Ryan ScottRemove 'deriving Typeable' statements
2016-05-12  RyanGlScottMake Generic1 poly-kinded
2016-05-12  RyanGlScottFix deriveTyData's kind unification when two kind varia...
2016-05-10  Bartosz NitkaMake simplifyInstanceContexts deterministic
2016-05-10  Edward Z. YangDocumentation for simplifyDeriv.
2016-04-30  RyanGlScottComment typos: Mkae -> Make, Hsakell -> Haskell
2016-04-20  Bartosz NitkaRename FV related functions
2016-04-20  Bartosz NitkaKill unnecessary varSetElemsWellScoped in deriveTyData
2016-04-20  Simon Peyton JonesSCC analysis for instances as well as types/classes
2016-04-19  Simon Peyton JonesTighten checking for associated type instances
2016-04-15  Bartosz NitkaRemove some gratitious varSetElemsWellScoped
2016-04-14  Bartosz NitkaFix typos: tyars -> tyvars
2016-04-11  RyanGlScottDeriving Functor-like classes should unify kind variables
2016-04-10  RyanGlScottRemove the instantiation check when deriving Generic(1)
2016-03-15  Richard EisenbergFix #11357.
2016-02-25  Michael WalkerPrint which warning-flag controls an emitted warning
2016-02-24  Richard EisenbergAddress #11471 by putting RuntimeRep in kinds.
2016-02-17  Simon Peyton JonesComments only
2016-02-08  Simon Peyton JonesDefine mkTvSubst, and use it
2016-02-08  Simon Peyton JonesRemove unused export from TcUnify
2016-01-27  Bartosz NitkaRename "open" subst functions
2016-01-27  Ömer Sinan Ağacans/unLifted/unlifted for consistency
2016-01-26  Simon Peyton JonesKill off zipTopTCvSubst in favour of zipOpenTCvSubst
2016-01-18  Jan StolarekReplace calls to `ptext . sLit` with `text`
2016-01-18  Simon Peyton JonesWhite space only
2016-01-15  RyanGlScottExpand type/kind synonyms in TyVars before deriving...
2016-01-15  RyanGlScottRefactor lookupFixityRn-related code following D1744
2016-01-07  Simon Peyton JonesUse an Implication in 'deriving' error
2015-12-16  David LuposchainskyAdd `-W(no-)xxx` aliases for `-f(no-)warn-xxx` flags
2015-12-15  Ben GamariExpose enabled language extensions to TH
2015-12-11  Richard EisenbergAdd kind equalities to GHC.
2015-12-09  Gabor GreifMore typos in comments/docs
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-25  Simon Peyton JonesRefactor default methods (Trac #11105)
2015-11-21  Bartosz NitkaCreate a deterministic version of tyVarsOfType
2015-11-11  Matthew PickeringAssociate pattern synonyms with types in module exports
2015-10-30  Simon Peyton JonesRecord usage information using GlobalRdrElt
2015-10-03  RyanGlScottFill in associated type defaults with DeriveAnyClass
2015-09-24  Ömer Sinan AğacanFix DeriveGeneric for types with same OccName (#10487)
2015-09-22  RyanGlScottDeriveLift extension (#1830)
next