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

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

2016-10-24	Simon Peyton Jones	Take account of kinds in promoteTcType	blob \| commitdiff
2016-10-24	Simon Peyton Jones	Don't instantaite when typechecking a pattern synonym	blob \| commitdiff \| diff to current
2016-10-21	Simon Peyton Jones	A collection of type-inference refactorings.	blob \| commitdiff \| diff to current
2016-10-17	Gabor Greif	Typos in comments	blob \| commitdiff \| diff to current
2016-10-17	Simon Peyton Jones	Correct order of existentials in pattern synonyms	blob \| commitdiff \| diff to current
2016-09-11	Matthew Pickering	Remove uses of mkMatchGroupName	blob \| commitdiff \| diff to current
2016-08-17	Simon Peyton Jones	Keep the bindings local during defaultCallStacks	blob \| commitdiff \| diff to current
2016-07-21	Ömer Sinan Ağacan	Implement unboxed sum primitive type	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	Richard Eisenberg	Fix #10963 and #11975 by adding new cmds to GHCi.	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-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-24	Simon Peyton Jones	Don't split the arg types in a PatSyn signature	blob \| commitdiff \| diff to current
2016-05-23	Matthew Pickering	Fix build by removing unused import.	blob \| commitdiff \| diff to current
2016-05-23	Matthew Pickering	Allow unlifted types in pattern synonym result type	blob \| commitdiff \| diff to current
2016-05-16	Bartosz Nitka	Kill varSetElems in tcInferPatSynDecl	blob \| commitdiff \| diff to current
2016-04-28	Simon Peyton Jones	Refactor RecordPatSynField, FieldLabel	blob \| commitdiff \| diff to current
2016-04-28	Simon Peyton Jones	Comments only	blob \| commitdiff \| diff to current
2016-04-22	Simon Peyton Jones	Simplify defaultKindVar and friends	blob \| commitdiff \| diff to current
2016-04-20	Simon Peyton Jones	Tighten up imports, white space	blob \| commitdiff \| diff to current
2016-04-19	Simon Peyton Jones	Refactor computing dependent type vars	blob \| commitdiff \| diff to current
2016-04-02	Rik Steenkamp	Improve printing of pattern synonym types	blob \| commitdiff \| diff to current
2016-03-31	Simon Peyton Jones	Refactor error generation for pattern synonyms	blob \| commitdiff \| diff to current
2016-03-24	Rik Steenkamp	Add `PatSynSigSkol` and modify `PatSynCtxt`	blob \| commitdiff \| diff to current
2016-03-21	Richard Eisenberg	Zonk before calling splitDepVarsOfType.	blob \| commitdiff \| diff to current
2016-03-21	Richard Eisenberg	Track specified/invisible more carefully.	blob \| commitdiff \| diff to current
2016-03-09	Simon Peyton Jones	Refactoring around TcPatSyn.tcPatToExpr	blob \| commitdiff \| diff to current
2016-02-26	Simon Peyton Jones	Fix kind generalisation for pattern synonyms	blob \| commitdiff \| diff to current
2016-02-25	Rik Steenkamp	Improve pattern synonym error messages (add `PatSynOrigin`)	blob \| commitdiff \| diff to current
2016-02-25	Matthew Pickering	Reconstruct record expression in bidir pattern synonym	blob \| commitdiff \| diff to current
2016-02-24	Richard Eisenberg	Address #11471 by putting RuntimeRep in kinds.	blob \| commitdiff \| diff to current
2016-02-16	Rik Steenkamp	Fix typos	blob \| commitdiff \| diff to current
2016-02-09	Ben Gamari	TcPatSyn: Fix spelling of "pattern" in error message	blob \| commitdiff \| diff to current
2016-02-02	Bartosz Nitka	Use a correct substitution in tcCheckPatSynDecl	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-21	Simon Peyton Jones	Re-add missing kind generalisation	blob \| commitdiff \| diff to current
2016-01-19	Bartosz Nitka	Check InScopeSet in substTy and provide substTyUnchecked	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
2016-01-07	Simon Peyton Jones	Use an Implication in 'deriving' error	blob \| commitdiff \| diff to current
2015-12-31	Herbert Valerio...	Drop pre-AMP compatibility CPP conditionals	blob \| commitdiff \| diff to current
2015-12-24	Richard Eisenberg	Visible type application	blob \| commitdiff \| diff to current
2015-12-23	Simon Peyton Jones	Revert "Allow as-patterns in pattern synonym declarations."	blob \| commitdiff \| diff to current
2015-12-22	Simon Peyton Jones	Fix typechecking for pattern synonym signatures	blob \| commitdiff \| diff to current
2015-12-20	Matthew Pickering	Allow as-patterns in pattern synonym declarations.	blob \| commitdiff \| diff to current
2015-12-11	Richard Eisenberg	Add kind equalities to GHC.	blob \| commitdiff \| diff to current
2015-12-11	Matthew Pickering	Make sure PatSyns only get added once to tcg_patsyns	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-11-13	Alan Zimmerman	APIAnnotations:add Locations in hsSyn for layout	blob \| commitdiff \| diff to current
2015-11-11	Alan Zimmerman	Remove fun_infix from Funbind, as it is now in Match	blob \| commitdiff \| diff to current
2015-11-07	Matthew Pickering	Remove PatSynBuilderId	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	Move mkDefaultMethodIds, mkRecSelBinds from TcTyClsDecl...	blob \| commitdiff \| diff to current
2015-10-29	Matthew Pickering	Record pattern synonyms	blob \| commitdiff \| diff to current
2015-10-27	Simon Peyton Jones	Zonk properly when checkig pattern synonyms	blob \| commitdiff \| diff to current
2015-10-12	Simon Peyton Jones	Reinstate monomorphism-restriction warnings	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-05-06	Austin Seipp	Revert "API Annotations : add Locations in hsSyn were...	blob \| commitdiff \| diff to current
2015-05-06	Alan Zimmerman	API Annotations : add Locations in hsSyn were layout...	blob \| commitdiff \| diff to current
2015-03-24	Simon Peyton Jones	Improve environment handling in TcBinds	blob \| commitdiff \| diff to current
2015-02-10	Simon Peyton Jones	Refactor the handling of quasi-quotes	blob \| commitdiff \| diff to current
2015-01-22	Simon Peyton Jones	Merge branch 'master' of ssh://git.haskell.org/ghc	blob \| commitdiff \| diff to current
2015-01-20	Dr. ERDI Gergo	Cosmetic: Fix all uses of the word 'worker' when referr...	blob \| commitdiff \| diff to current
2015-01-19	Simon Peyton Jones	Add missing argument in Match, a merge bug (apologies)	blob \| commitdiff \| diff to current
2015-01-19	Simon Peyton Jones	Fix the 'builder' code for pattern synonyms with type...	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-20	Dr. ERDI Gergo	Use a new $b prefix for pattern synonym builder names...	blob \| commitdiff \| diff to current
2014-12-16	Peter Wortmann	Generalized Coverage pass to allow adding multiple...	blob \| commitdiff \| diff to current
2014-12-15	Simon Peyton Jones	Pattern-synonym matcher and builder Ids must be LocalIds	blob \| commitdiff \| diff to current
2014-12-03	Austin Seipp	compiler: de-lhs typecheck/	blob \| commitdiff \| diff to current

GHC main repository

RSS Atom