Fix and document cloneWC
[ghc.git] / compiler / typecheck / TcPatSyn.hs
2018-06-25  Simon Peyton JonesFix error recovery for pattern synonyms
2018-06-15  Simon Peyton JonesMake better "fake tycons" in error recovery
2018-06-14  Vladislav ZavialovEmbrace -XTypeInType, add -XStarIsType
2018-06-04  Simon Peyton JonesImplement QuantifiedConstraints
2018-06-02  Ben Gamarivectorise: Put it out of its misery
2018-05-18  Simon Peyton JonesOrient TyVar/TyVar equalities with deepest on the left
2018-04-27  Alan ZimmermanTTG : complete for balance of hsSyn AST
2018-04-13  Alan ZimmermanTTG for HsBinds and Data instances Plan B
2018-04-09  Alan ZimmermanRestore Trees That Grow reverted commits
2018-04-01  Richard EisenbergTrack type variable scope more carefully.
2018-03-21  Simon Peyton JonesAllow as-patterns in unidirectional patttern synonyms
2018-01-26  Joachim BreitnerTurn EvTerm (almost) into CoreExpr (#14691)
2018-01-17  Gabor GreifTypos in comments
2018-01-05  Simon Peyton JonesFix another obscure pattern-synonym crash
2018-01-04  Simon Peyton JonesFix deep, dark corner of pattern synonyms
2017-12-21  Simon Peyton JonesSimplify HsPatSynDetails
2017-12-18  Simon Peyton JonesFix scoping of pattern-synonym existentials
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-14  Alan ZimmermanTTG3 Combined Step 1 and 3 for Trees That Grow
2017-11-11  Alan ZimmermanWIP on combined Step 1 and 3 for Trees That Grow, HsExpr
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  Simon Peyton JonesMinimise provided dictionaries in pattern synonyms
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-24  Simon Peyton JonesTemporary fix to Trac #14380
2017-09-19  Herbert Valerio... compiler: introduce custom "GhcPrelude" Prelude
2017-09-02  Ryan ScottDisallow bang/lazy patterns in the RHSes of implicitly...
2017-07-28  Simon Peyton JonesDo not discard insolubles in implications
2017-07-26  Simon Peyton JonesFix binder visiblity for default methods
2017-06-05  Alan ZimmermanUdate hsSyn AST to use Trees that Grow
2017-05-26  Gabor GreifTypos in comments [ci skip]
2017-05-25  Simon Peyton JonesPattern synonyms and higher rank types
2017-05-11  Ben GamariAllow spliced patterns in pattern synonyms
2017-05-09  Ben GamariTreat banged bindings as FunBinds
2017-03-28  Simon Peyton JonesComplete the fix for #13441 (pattern synonyms)
2017-03-27  Simon Peyton JonesFix explicitly-bidirectional pattern synonyms
2017-03-10  Simon Peyton JonesDefine TcSimplify.simplifyTopImplic and use it
2017-02-20  Gabor GreifTypos in manual, tests and comments
2017-01-19  Richard EisenbergUpdate levity polymorphism
2016-12-12  Alan ZimmermanAdd infix flag for class and data declarations
2016-12-07  Alan ZimmermanAdd HsSyn prettyprinter tests
2016-11-25  Simon Peyton JonesUse TyVars in PatSyns
2016-10-24  Simon Peyton JonesTake account of kinds in promoteTcType
2016-10-24  Simon Peyton JonesDon't instantaite when typechecking a pattern synonym
2016-10-21  Simon Peyton JonesA collection of type-inference refactorings.
2016-10-17  Gabor GreifTypos in comments
2016-10-17  Simon Peyton JonesCorrect order of existentials in pattern synonyms
2016-09-11  Matthew PickeringRemove uses of mkMatchGroupName
2016-08-17  Simon Peyton JonesKeep the bindings local during defaultCallStacks
2016-07-21  Ömer Sinan AğacanImplement unboxed sum primitive type
2016-06-25  Richard Eisenbergs/Invisible/Inferred/g s/Visible/Required/g
2016-06-23  Richard EisenbergFix #10963 and #11975 by adding new cmds to GHCi.
2016-06-15  Simon Peyton JonesMajor patch to introduce TyConBinder
2016-06-15  Simon Peyton JonesRe-add FunTy (big patch)
2016-06-13  Simon Peyton JonesImprove typechecking of let-bindings
2016-06-06  Alan ZimmermanMerge MatchFixity and HsMatchContext
2016-05-24  Simon Peyton JonesDon't split the arg types in a PatSyn signature
2016-05-23  Matthew PickeringFix build by removing unused import.
2016-05-23  Matthew PickeringAllow unlifted types in pattern synonym result type
2016-05-16  Bartosz NitkaKill varSetElems in tcInferPatSynDecl
2016-04-28  Simon Peyton JonesRefactor RecordPatSynField, FieldLabel
2016-04-28  Simon Peyton JonesComments only
2016-04-22  Simon Peyton JonesSimplify defaultKindVar and friends
2016-04-20  Simon Peyton JonesTighten up imports, white space
2016-04-19  Simon Peyton JonesRefactor computing dependent type vars
2016-04-02  Rik SteenkampImprove printing of pattern synonym types
2016-03-31  Simon Peyton JonesRefactor error generation for pattern synonyms
2016-03-24  Rik SteenkampAdd `PatSynSigSkol` and modify `PatSynCtxt`
2016-03-21  Richard EisenbergZonk before calling splitDepVarsOfType.
2016-03-21  Richard EisenbergTrack specified/invisible more carefully.
2016-03-09  Simon Peyton JonesRefactoring around TcPatSyn.tcPatToExpr
2016-02-26  Simon Peyton JonesFix kind generalisation for pattern synonyms
2016-02-25  Rik SteenkampImprove pattern synonym error messages (add `PatSynOrigin`)
2016-02-25  Matthew PickeringReconstruct record expression in bidir pattern synonym
2016-02-24  Richard EisenbergAddress #11471 by putting RuntimeRep in kinds.
2016-02-16  Rik SteenkampFix typos
2016-02-09  Ben GamariTcPatSyn: Fix spelling of "pattern" in error message
2016-02-02  Bartosz NitkaUse a correct substitution in tcCheckPatSynDecl
2016-01-27  Richard EisenbergRefactor the typechecker to use ExpTypes.
2016-01-27  Ömer Sinan Ağacans/unLifted/unlifted for consistency
2016-01-21  Simon Peyton JonesRe-add missing kind generalisation
2016-01-19  Bartosz NitkaCheck InScopeSet in substTy and provide substTyUnchecked
2016-01-18  Jan StolarekReplace calls to `ptext . sLit` with `text`
2016-01-18  Simon Peyton JonesImplement scoped type variables in pattern synonyms
2016-01-07  Simon Peyton JonesUse an Implication in 'deriving' error
2015-12-31  Herbert Valerio... Drop pre-AMP compatibility CPP conditionals
2015-12-24  Richard EisenbergVisible type application
2015-12-23  Simon Peyton JonesRevert "Allow as-patterns in pattern synonym declarations."
2015-12-22  Simon Peyton JonesFix typechecking for pattern synonym signatures
2015-12-20  Matthew PickeringAllow as-patterns in pattern synonym declarations.
2015-12-11  Richard EisenbergAdd kind equalities to GHC.
2015-12-11  Matthew PickeringMake sure PatSyns only get added once to tcg_patsyns
2015-12-01  Simon Peyton JonesRefactor treatment of wildcards
2015-11-22  Alan ZimmermanApiAnnotations: Make all RdrName occurences Located
next