git.haskell.org - ghc.git/history - compiler/typecheck/TcDeriv.hs

[ghc.git] / compiler / typecheck / TcDeriv.hs

2018-07-10	Simon Peyton Jones	More refactoring in TcValidity	blob \| commitdiff
2018-06-18	Simon Peyton Jones	Two small refactorings	blob \| commitdiff \| diff to current
2018-06-14	Vladislav Zavialov	Embrace -XTypeInType, add -XStarIsType	blob \| commitdiff \| diff to current
2018-06-05	Ryan Scott	Introduce DerivingVia	blob \| commitdiff \| diff to current
2018-04-27	Alan Zimmerman	TTG : complete for balance of hsSyn AST	blob \| commitdiff \| diff to current
2018-04-09	Alan Zimmerman	Restore Trees That Grow reverted commits	blob \| commitdiff \| diff to current
2018-04-01	Richard Eisenberg	Track type variable scope more carefully.	blob \| commitdiff \| diff to current
2018-03-25	Ryan Scott	Fix #14916 with an additional validity check in deriveT...	blob \| commitdiff \| diff to current
2018-03-23	Ryan Scott	Allow PartialTypeSignatures in standalone deriving...	blob \| commitdiff \| diff to current
2018-02-20	Ryan Scott	Slight refactor of stock deriving internals	blob \| commitdiff \| diff to current
2018-02-18	Ryan Scott	Implement stopgap solution for #14728	blob \| commitdiff \| diff to current
2018-02-01	Ryan Scott	Sequester deriving-related validity check into cond_stdOK	blob \| commitdiff \| diff to current
2017-12-21	Ryan Scott	Remove hack put in place for #12512	blob \| commitdiff \| diff to current
2017-11-22	Ben Gamari	Update Hadrian	blob \| commitdiff \| diff to current
2017-11-21	Ben Gamari	Revert "trees that grow" work	blob \| commitdiff \| diff to current
2017-11-15	Andrey Mokhov	Pull recent Hadrian changes from upstream	blob \| commitdiff \| diff to current
2017-11-10	Ben Gamari	Merge commit '5229c43ccf77bcbffeced01dccb27398d017fa34'	blob \| commitdiff \| diff to current
2017-11-09	Ben Gamari	Merge initial Hadrian snapshot	blob \| commitdiff \| diff to current
2017-11-08	Alan Zimmerman	WIP on Doing a combined Step 1 and 3 for Trees That...	blob \| commitdiff \| diff to current
2017-11-08	Ben Gamari	Merge remote-tracking branch 'github/pr/83'	blob \| commitdiff \| diff to current
2017-11-07	Ben Gamari	Revert "WIP on combining Step 1 and 3 of Trees That...	blob \| commitdiff \| diff to current
2017-11-07	Alan Zimmerman	WIP on combining Step 1 and 3 of Trees That Grow	blob \| commitdiff \| diff to current
2017-11-06	Andrey Mokhov	Merge commit '7b0b9f603bb1215e2b7af23c2404d637b95a4988...	blob \| commitdiff \| diff to current
2017-10-19	Ryan Scott	Error when deriving instances in hs-boot files	blob \| commitdiff \| diff to current
2017-09-26	Gabor Greif	A bunch of typofixes	blob \| commitdiff \| diff to current
2017-09-19	Herbert Valerio...	compiler: introduce custom "GhcPrelude" Prelude	blob \| commitdiff \| diff to current
2017-08-15	Ryan Scott	Use a ReaderT in TcDeriv to avoid some tedious plumbing	blob \| commitdiff \| diff to current
2017-08-12	Ryan Scott	Don't suppress unimplemented type family warnings with...	blob \| commitdiff \| diff to current
2017-07-25	Ryan Scott	Fix #10684 by processing deriving clauses with finer...	blob \| commitdiff \| diff to current
2017-07-11	Ryan Scott	Suppress unused warnings for selectors for some derived...	blob \| commitdiff \| diff to current
2017-06-05	Alan Zimmerman	Udate hsSyn AST to use Trees that Grow	blob \| commitdiff \| diff to current
2017-06-02	Ryan Scott	Use lengthIs and friends in more places	blob \| commitdiff \| diff to current
2017-04-12	Matthew Pickering	Split up RnEnv into 4 modules, RnUnbound, RnUtils and...	blob \| commitdiff \| diff to current
2017-02-21	Simon Peyton Jones	Refactor inferConstraints not to use CPS	blob \| commitdiff \| diff to current
2017-02-21	Simon Peyton Jones	Fix computation of dfun_tvs in mkNewTypeEqn	blob \| commitdiff \| diff to current
2017-02-10	Ryan Scott	Refactor DeriveAnyClass's instance context inference	blob \| commitdiff \| diff to current
2017-02-03	Sylvain Henry	Ditch static flags	blob \| commitdiff \| diff to current
2016-12-09	Ryan Scott	Rename TH constructors for deriving strategies	blob \| commitdiff \| diff to current
2016-12-01	Gabor Greif	Typos in comments	blob \| commitdiff \| diff to current
2016-11-13	Ben Gamari	Kill Type pretty-printer	blob \| commitdiff \| diff to current
2016-11-10	Ryan Scott	Prevent GND from inferring an instance context for...	blob \| commitdiff \| diff to current
2016-11-10	Simon Peyton Jones	Refactoring of mkNewTypeEqn	blob \| commitdiff \| diff to current
2016-11-06	Ryan Scott	Allow GeneralizedNewtypeDeriving for classes with assoc...	blob \| commitdiff \| diff to current
2016-11-02	Simon Peyton Jones	Tiny refactor	blob \| commitdiff \| diff to current
2016-10-15	Ryan Scott	Fix Show derivation in the presence of RebindableSyntax...	blob \| commitdiff \| diff to current
2016-10-14	Ryan Scott	Make error when deriving an instance for a typeclass...	blob \| commitdiff \| diff to current
2016-10-06	Ryan Scott	Refactor TcDeriv and TcGenDeriv	blob \| commitdiff \| diff to current
2016-10-05	Ryan Scott	Bring Note in TcDeriv up to date	blob \| commitdiff \| diff to current
2016-10-02	Ryan Scott	Disallow standalone deriving declarations involving...	blob \| commitdiff \| diff to current
2016-10-01	Ryan Scott	Implement deriving strategies	blob \| commitdiff \| diff to current
2016-09-30	Simon Peyton Jones	Fix impredicativity (again)	blob \| commitdiff \| diff to current
2016-09-15	Ben Gamari	Unify CallStack handling in ghc	blob \| commitdiff \| diff to current
2016-09-05	mniip	Less scary arity mismatch error message when deriving	blob \| commitdiff \| diff to current
2016-08-29	Ryan Scott	Remove unused DerivInst constructor for DerivStuff	blob \| commitdiff \| diff to current
2016-07-05	Simon Peyton Jones	Make unique auxiliary function names in deriving	blob \| commitdiff \| diff to current
2016-06-23	Simon Peyton Jones	Give lookupGRE_Name a better API	blob \| commitdiff \| diff to current
2016-06-22	Simon Peyton Jones	Improve error message in deriving( Functor )	blob \| commitdiff \| diff to current
2016-06-15	Simon Peyton Jones	Major patch to introduce TyConBinder	blob \| commitdiff \| diff to current
2016-06-15	Simon Peyton Jones	Re-add FunTy (big patch)	blob \| commitdiff \| diff to current
2016-06-14	Bartosz Nitka	Rename cmpType to nonDetCmpType	blob \| commitdiff \| diff to current
2016-05-24	Ryan Scott	Remove 'deriving Typeable' statements	blob \| commitdiff \| diff to current
2016-05-12	RyanGlScott	Make Generic1 poly-kinded	blob \| commitdiff \| diff to current
2016-05-12	RyanGlScott	Fix deriveTyData's kind unification when two kind varia...	blob \| commitdiff \| diff to current
2016-05-10	Bartosz Nitka	Make simplifyInstanceContexts deterministic	blob \| commitdiff \| diff to current
2016-05-10	Edward Z. Yang	Documentation for simplifyDeriv.	blob \| commitdiff \| diff to current
2016-04-30	RyanGlScott	Comment typos: Mkae -> Make, Hsakell -> Haskell	blob \| commitdiff \| diff to current
2016-04-20	Bartosz Nitka	Rename FV related functions	blob \| commitdiff \| diff to current
2016-04-20	Bartosz Nitka	Kill unnecessary varSetElemsWellScoped in deriveTyData	blob \| commitdiff \| diff to current
2016-04-20	Simon Peyton Jones	SCC analysis for instances as well as types/classes	blob \| commitdiff \| diff to current
2016-04-19	Simon Peyton Jones	Tighten checking for associated type instances	blob \| commitdiff \| diff to current
2016-04-15	Bartosz Nitka	Remove some gratitious varSetElemsWellScoped	blob \| commitdiff \| diff to current
2016-04-14	Bartosz Nitka	Fix typos: tyars -> tyvars	blob \| commitdiff \| diff to current
2016-04-11	RyanGlScott	Deriving Functor-like classes should unify kind variables	blob \| commitdiff \| diff to current
2016-04-10	RyanGlScott	Remove the instantiation check when deriving Generic(1)	blob \| commitdiff \| diff to current
2016-03-15	Richard Eisenberg	Fix #11357.	blob \| commitdiff \| diff to current
2016-02-25	Michael Walker	Print which warning-flag controls an emitted warning	blob \| commitdiff \| diff to current
2016-02-24	Richard Eisenberg	Address #11471 by putting RuntimeRep in kinds.	blob \| commitdiff \| diff to current
2016-02-17	Simon Peyton Jones	Comments only	blob \| commitdiff \| diff to current
2016-02-08	Simon Peyton Jones	Define mkTvSubst, and use it	blob \| commitdiff \| diff to current
2016-02-08	Simon Peyton Jones	Remove unused export from TcUnify	blob \| commitdiff \| diff to current
2016-01-27	Bartosz Nitka	Rename "open" subst functions	blob \| commitdiff \| diff to current
2016-01-27	Ömer Sinan Ağacan	s/unLifted/unlifted for consistency	blob \| commitdiff \| diff to current
2016-01-26	Simon Peyton Jones	Kill off zipTopTCvSubst in favour of zipOpenTCvSubst	blob \| commitdiff \| diff to current
2016-01-18	Jan Stolarek	Replace calls to `ptext . sLit` with `text`	blob \| commitdiff \| diff to current
2016-01-18	Simon Peyton Jones	White space only	blob \| commitdiff \| diff to current
2016-01-15	RyanGlScott	Expand type/kind synonyms in TyVars before deriving...	blob \| commitdiff \| diff to current
2016-01-15	RyanGlScott	Refactor lookupFixityRn-related code following D1744	blob \| commitdiff \| diff to current
2016-01-07	Simon Peyton Jones	Use an Implication in 'deriving' error	blob \| commitdiff \| diff to current
2015-12-16	David Luposchainsky	Add `-W(no-)xxx` aliases for `-f(no-)warn-xxx` flags	blob \| commitdiff \| diff to current
2015-12-15	Ben Gamari	Expose enabled language extensions to TH	blob \| commitdiff \| diff to current
2015-12-11	Richard Eisenberg	Add kind equalities to GHC.	blob \| commitdiff \| diff to current
2015-12-09	Gabor Greif	More typos in comments/docs	blob \| commitdiff \| diff to current
2015-12-09	Simon Peyton Jones	Fix DeriveAnyClass (Trac #9968)	blob \| commitdiff \| diff to current
2015-12-07	RyanGlScott	Use TypeLits in the meta-data encoding of GHC.Generics	blob \| commitdiff \| diff to current
2015-12-01	Simon Peyton Jones	Refactor treatment of wildcards	blob \| commitdiff \| diff to current
2015-11-25	Simon Peyton Jones	Refactor default methods (Trac #11105)	blob \| commitdiff \| diff to current
2015-11-21	Bartosz Nitka	Create a deterministic version of tyVarsOfType	blob \| commitdiff \| diff to current
2015-11-11	Matthew Pickering	Associate pattern synonyms with types in module exports	blob \| commitdiff \| diff to current
2015-10-30	Simon Peyton Jones	Record usage information using GlobalRdrElt	blob \| commitdiff \| diff to current
2015-10-03	RyanGlScott	Fill in associated type defaults with DeriveAnyClass	blob \| commitdiff \| diff to current
next

GHC main repository

RSS Atom