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

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

2018-06-03	Alanas Plascinskas	tcExtendTyVarEnv2 changed to tcExtendNameTyVarEnv	blob \| commitdiff
2018-06-02	Ben Gamari	vectorise: Put it out of its misery	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
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-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	Adam Gundry	Identify fields by selector when type-checking (fixes...	blob \| commitdiff \| diff to current
2017-09-19	Herbert Valerio...	compiler: introduce custom "GhcPrelude" Prelude	blob \| commitdiff \| diff to current
2017-08-29	Simon Peyton Jones	Use a well-kinded substitution to instantiate	blob \| commitdiff \| diff to current
2017-07-27	Richard Eisenberg	Fix #13819 by refactoring TypeEqOrigin.uo_thing	blob \| commitdiff \| diff to current
2017-07-19	Ryan Scott	Fix #13983 by creating a TyConFlavour type, and using it	blob \| commitdiff \| diff to current
2017-06-29	Simon Peyton Jones	Fix lexically-scoped type variables	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-03-14	Gabor Greif	Typos in manual and comments	blob \| commitdiff \| diff to current
2017-02-16	Simon Peyton Jones	Use the correct origin in SectionL and Section R	blob \| commitdiff \| diff to current
2017-01-23	Gabor Greif	Typos and grammar in manual/comments	blob \| commitdiff \| diff to current
2017-01-19	Richard Eisenberg	Update levity polymorphism	blob \| commitdiff \| diff to current
2016-12-12	Alan Zimmerman	Add infix flag for class and data declarations	blob \| commitdiff \| diff to current
2016-12-07	Alan Zimmerman	Add HsSyn prettyprinter tests	blob \| commitdiff \| diff to current
2016-11-13	Ben Gamari	Kill Type pretty-printer	blob \| commitdiff \| diff to current
2016-10-21	Simon Peyton Jones	A collection of type-inference refactorings.	blob \| commitdiff \| diff to current
2016-10-21	Simon Peyton Jones	Refactor typechecking of pattern bindings	blob \| commitdiff \| diff to current
2016-10-17	Simon Peyton Jones	Fix wrapping order in matchExpectedConTy	blob \| commitdiff \| diff to current
2016-07-21	Ömer Sinan Ağacan	Implement unboxed sum primitive type	blob \| commitdiff \| diff to current
2016-07-06	Facundo Domínguez	Have addModFinalizer expose the local type environment.	blob \| commitdiff \| diff to current
2016-06-21	Gabor Greif	Typos in comments	blob \| commitdiff \| diff to current
2016-06-13	Simon Peyton Jones	Improve typechecking of let-bindings	blob \| commitdiff \| diff to current
2016-06-06	Alan Zimmerman	Merge MatchFixity and HsMatchContext	blob \| commitdiff \| diff to current
2016-05-10	Simon Peyton Jones	Fix partial sigs and pattern bindings interaction	blob \| commitdiff \| diff to current
2016-03-31	Simon Peyton Jones	Make SigSkol take TcType not ExpType	blob \| commitdiff \| diff to current
2016-03-22	Richard Eisenberg	Avoid running afoul of the zipTvSubst check.	blob \| commitdiff \| diff to current
2016-03-17	Richard Eisenberg	Fix #11716.	blob \| commitdiff \| diff to current
2016-03-17	Richard Eisenberg	Fix #11711.	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-10	Bartosz Nitka	Replace mkTvSubstPrs (a `zip` b) with zipTvSubst a b	blob \| commitdiff \| diff to current
2016-01-27	Bartosz Nitka	Rename "open" subst functions	blob \| commitdiff \| diff to current
2016-01-27	Richard Eisenberg	Refactor the typechecker to use ExpTypes.	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	Implement scoped type variables in pattern synonyms	blob \| commitdiff \| diff to current
2015-12-24	Richard Eisenberg	Visible type application	blob \| commitdiff \| diff to current
2015-12-22	Simon Peyton Jones	Fix typechecking for pattern synonym signatures	blob \| commitdiff \| diff to current
2015-12-21	Alan Zimmerman	Add Location to RdrName in FieldOcc	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-01	Simon Peyton Jones	Refactor treatment of wildcards	blob \| commitdiff \| diff to current
2015-11-22	Alan Zimmerman	ApiAnnotations: Make all RdrName occurences Located	blob \| commitdiff \| diff to current
2015-10-29	Matthew Pickering	Record pattern synonyms	blob \| commitdiff \| diff to current
2015-10-28	Simon Peyton Jones	Pattern synonyms: swap provided/required	blob \| commitdiff \| diff to current
2015-10-16	Adam Gundry	Implement DuplicateRecordFields	blob \| commitdiff \| diff to current
2015-08-18	Matthew Pickering	Add selectors for common fields (DataCon/PatSyn) to...	blob \| commitdiff \| diff to current
2015-08-05	Simon Peyton Jones	Tidy up and refactor wildcard handling	blob \| commitdiff \| diff to current
2015-07-21	Simon Peyton Jones	Add NOINLINE for hs-boot functions	blob \| commitdiff \| diff to current
2015-06-28	Ben Gamari	Add -fcross-module-specialise flag	blob \| commitdiff \| diff to current
2015-06-26	Simon Peyton Jones	Use a Representaional coercion for data families	blob \| commitdiff \| diff to current
2015-06-18	Simon Peyton Jones	Report arity errors correctly despite kinds	blob \| commitdiff \| diff to current
2015-06-16	Ben Gamari	users_guide: Various spelling fixes	blob \| commitdiff \| diff to current
2015-06-16	Ben Gamari	Lexer: Suggest adding 'let' on unexpected '=' token	blob \| commitdiff \| diff to current
2015-06-02	Gabor Greif	Typofixes	blob \| commitdiff \| diff to current
2015-05-18	Simon Peyton Jones	Refactor tuple constraints	blob \| commitdiff \| diff to current
2015-05-14	Austin Seipp	Revert multiple commits	blob \| commitdiff \| diff to current
2015-05-13	Simon Peyton Jones	Refactor tuple constraints	blob \| commitdiff \| diff to current
2015-04-10	Gabor Greif	Typos in error messages and in comments	blob \| commitdiff \| diff to current
2015-03-24	Simon Peyton Jones	Improve environment handling in TcBinds	blob \| commitdiff \| diff to current
2015-02-19	Simon Peyton Jones	Comments only	blob \| commitdiff \| diff to current
2015-02-19	Thomas Winant	Fix #10045	blob \| commitdiff \| diff to current
2015-02-10	Simon Peyton Jones	Refactor the handling of quasi-quotes	blob \| commitdiff \| diff to current
2015-02-10	Yuri de Wit	Replace .lhs with .hs in compiler comments	blob \| commitdiff \| diff to current
2015-01-16	Alan Zimmerman	API Annotations tweaks.	blob \| commitdiff \| diff to current
2015-01-06	Simon Peyton Jones	Major patch to add -fwarn-redundant-constraints	blob \| commitdiff \| diff to current
2014-12-03	Austin Seipp	compiler: de-lhs typecheck/	blob \| commitdiff \| diff to current

GHC main repository

RSS Atom