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

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

2019-10-16	Richard Eisenberg	Break up TcRnTypes, among other modules.	blob \| commitdiff
2019-10-03	Ryan Scott	Merge TcTypeableValidity into TcTypeable, document...	blob \| commitdiff \| diff to current
2019-09-20	Sylvain Henry	Module hierarchy: Hs (#13009)	blob \| commitdiff \| diff to current
2019-07-09	Ryan Scott	Use an empty data type in TTG extension constructors...	blob \| commitdiff \| diff to current
2019-06-12	Krzysztof Gogolewski	Use DeriveFunctor throughout the codebase (#15654)	blob \| commitdiff \| diff to current
2019-03-15	Ryan Scott	Update Trac ticket URLs to point to GitLab	blob \| commitdiff \| diff to current
2019-02-24	Simon Peyton Jones	Add AnonArgFlag to FunTy	blob \| commitdiff \| diff to current
2019-01-31	Sylvain Henry	Use ByteString to represent Cmm string literals (#16198)	blob \| commitdiff \| diff to current
2018-11-24	Shayan-Najd	[TTG: Handling Source Locations] Foundation and Pat	blob \| commitdiff \| diff to current
2018-10-23	Ben Gamari	Add 'hadrian/' from commit '45f3bff7016a2a0cd9a5455a882...	blob \| commitdiff \| diff to current
2018-07-10	ningning	Refactor coercion rule	blob \| commitdiff \| diff to current
2018-06-15	Simon Peyton Jones	Make better "fake tycons" in error recovery	blob \| commitdiff \| diff to current
2018-04-27	Alan Zimmerman	TTG : complete for balance of hsSyn AST	blob \| commitdiff \| diff to current
2018-04-20	Tobias Dammers	Caching coercion roles in NthCo and coercionKindsRole...	blob \| commitdiff \| diff to current
2018-04-13	Alan Zimmerman	TTG for HsBinds and Data instances Plan B	blob \| commitdiff \| diff to current
2018-04-09	Alan Zimmerman	Restore Trees That Grow reverted commits	blob \| commitdiff \| diff to current
2017-12-21	Simon Peyton Jones	Refactor coercion holes	blob \| commitdiff \| diff to current
2017-12-19	Gabor Greif	Get rid of some stuttering in comments and docs	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-14	Alan Zimmerman	TTG3 Combined Step 1 and 3 for Trees That Grow	blob \| commitdiff \| diff to current
2017-11-11	Alan Zimmerman	WIP on combined Step 1 and 3 for Trees That Grow, HsExpr	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-09-21	Ryan Scott	Typofixes (visiblity -> visibility)	blob \| commitdiff \| diff to current
2017-09-19	Herbert Valerio...	compiler: introduce custom "GhcPrelude" Prelude	blob \| commitdiff \| diff to current
2017-08-12	Ryan Scott	Expand type synonyms during role inference	blob \| commitdiff \| diff to current
2017-07-26	Simon Peyton Jones	Fix binder visiblity for default methods	blob \| commitdiff \| diff to current
2017-06-23	Matthew Pickering	Use actual universal tvs in check for naughty record...	blob \| commitdiff \| diff to current
2017-06-05	Alan Zimmerman	Udate hsSyn AST to use Trees that Grow	blob \| commitdiff \| diff to current
2017-05-09	Ben Gamari	Treat banged bindings as FunBinds	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-03-10	Simon Peyton Jones	Drop redundant import	blob \| commitdiff \| diff to current
2017-03-07	Gabor Greif	Typos in changelog and comments	blob \| commitdiff \| diff to current
2017-03-01	David Feuer	Upgrade UniqSet to a newtype	blob \| commitdiff \| diff to current
2017-02-27	Edward Z. Yang	Subtyping for roles in signatures.	blob \| commitdiff \| diff to current
2017-02-18	Ben Gamari	Generalize kind of the (->) tycon	blob \| commitdiff \| diff to current
2017-01-18	Gabor Greif	Spelling fixes in comments [ci skip]	blob \| commitdiff \| diff to current
2016-12-17	Ben Gamari	Revert "Do not init record accessors as exported"	blob \| commitdiff \| diff to current
2016-12-07	Alan Zimmerman	Add HsSyn prettyprinter tests	blob \| commitdiff \| diff to current
2016-11-17	Edward Z. Yang	Test for type synonym loops on TyCon.	blob \| commitdiff \| diff to current
2016-07-05	Simon Peyton Jones	Check generic-default method for ambiguity	blob \| commitdiff \| diff to current
2016-06-30	Edward Z. Yang	Axe RecFlag on TyCons.	blob \| commitdiff \| diff to current
2016-06-25	Richard Eisenberg	s/Invisible/Inferred/g s/Visible/Required/g	blob \| commitdiff \| diff to current
2016-06-23	Bartosz Nitka	Provide Uniquable version of SCC	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-06	Alan Zimmerman	Merge MatchFixity and HsMatchContext	blob \| commitdiff \| diff to current
2016-05-27	Ömer Sinan Ağacan	Do not init record accessors as exported	blob \| commitdiff \| diff to current
2016-05-11	Bartosz Nitka	Document SCC determinism	blob \| commitdiff \| diff to current
2016-04-28	Simon Peyton Jones	Refactor RecordPatSynField, FieldLabel	blob \| commitdiff \| diff to current
2016-04-26	Bartosz Nitka	Kill varSetElems in markNominal	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-15	Bartosz Nitka	Kill some unnecessary varSetElems	blob \| commitdiff \| diff to current
2016-02-18	Ben Gamari	Unwire Typeable representation types	blob \| commitdiff \| diff to current
2016-01-27	Bartosz Nitka	Rename "open" subst functions	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	Refactoring on IdInfo and system derived names	blob \| commitdiff \| diff to current
2015-12-31	Herbert Valerio...	Remove some redundant definitions/constraints	blob \| commitdiff \| diff to current
2015-12-24	Richard Eisenberg	Visible type application	blob \| commitdiff \| diff to current
2015-12-23	Simon Peyton Jones	Fix super-class cycle check	blob \| commitdiff \| diff to current
2015-12-21	Alan Zimmerman	Add Location to RdrName in FieldOcc	blob \| commitdiff \| diff to current
2015-12-15	Simon Peyton Jones	Allow recursive (undecidable) superclasses	blob \| commitdiff \| diff to current
2015-12-11	Richard Eisenberg	Add kind equalities to GHC.	blob \| commitdiff \| diff to current
2015-12-01	Simon Peyton Jones	Refactor treatment of wildcards	blob \| commitdiff \| diff to current
2015-12-01	Bartosz Nitka	Fix grammar and typo in TcTyDecls	blob \| commitdiff \| diff to current
2015-11-25	Simon Peyton Jones	Refactor default methods (Trac #11105)	blob \| commitdiff \| diff to current
2015-11-22	Alan Zimmerman	ApiAnnotations: Make all RdrName occurences Located	blob \| commitdiff \| diff to current
2015-10-30	Ben Gamari	Generate Typeable info at definition sites	blob \| commitdiff \| diff to current
2015-10-29	Ben Gamari	Revert "Generate Typeable info at definition sites"	blob \| commitdiff \| diff to current
2015-10-29	Ben Gamari	Generate Typeable info at definition sites	blob \| commitdiff \| diff to current
2015-10-29	Ben Gamari	TcTyDecls: Remove redundant import of Applicative	blob \| commitdiff \| diff to current
2015-10-29	Ben Gamari	Move mkDefaultMethodIds, mkRecSelBinds from TcTyClsDecl...	blob \| commitdiff \| diff to current
2015-10-17	Herbert Valerio...	Make Monad/Applicative instances MRP-friendly	blob \| commitdiff \| diff to current
2015-07-21	Simon Peyton Jones	Refactor self-boot info	blob \| commitdiff \| diff to current
2015-05-01	Simon Peyton Jones	Refactor TyCon to eliminate TupleTyCon	blob \| commitdiff \| diff to current
2015-04-24	Richard Eisenberg	Change default roles in hs-boot files. (#9204)	blob \| commitdiff \| diff to current
2015-03-02	Simon Peyton Jones	Improve comments on coreView/tcView, and combine coreEx...	blob \| commitdiff \| diff to current
2014-12-03	Austin Seipp	compiler: de-lhs typecheck/	blob \| commitdiff \| diff to current

GHC main repository

RSS Atom