Note [Don't flatten tuples from HsSyn] in MkCore
[ghc.git] / compiler / typecheck / TcHsSyn.hs
2019-10-03  Richard EisenbergNote [Don't flatten tuples from HsSyn] in MkCore
2019-09-20  Sylvain HenryModule hierarchy: Hs (#13009)
2019-08-19  Richard LuptonRemove Bag fold specialisations (#16969)
2019-07-09  Ryan ScottUse an empty data type in TTG extension constructors...
2019-03-15  Ryan ScottUpdate Trac ticket URLs to point to GitLab
2019-03-05  Simon Peyton JonesBe more careful when naming TyCon binders
2019-02-18  Simon Peyton JonesGet rid of tcm_smart from TyCoMapper
2019-02-14  Simon Peyton JonesMake a smart mkAppTyM
2019-01-11  Matthew PickeringRun typed splices in the zonker
2018-12-03  Simon Peyton JonesIntroduce tcTypeKind, and use it
2018-11-29  Simon Peyton JonesTaming the Kind Inference Monster
2018-11-24  Shayan-Najd[TTG: Handling Source Locations] Foundation and Pat
2018-11-22  David EichmannFix unused-import warnings
2018-10-29  Richard EisenbergFix #15787 by squashing a coercion hole.
2018-10-29  Tobias DammersFinish fix for #14880.
2018-10-27  Matthew YacavoneMore explicit foralls (GHC Proposal 0007)
2018-10-23  Ben GamariAdd 'hadrian/' from commit '45f3bff7016a2a0cd9a5455a882...
2018-09-15  ningningCoercion Quantification
2018-08-31  Simon Peyton JonesRemove knot-tying bug in TcHsSyn.zonkTyVarOcc
2018-08-24  Simon Peyton JonesClean up TcHsSyn.zonkEnv
2018-08-01  Richard EisenbergRemove the type-checking knot.
2018-07-25  Simon Peyton JonesFix and document cloneWC
2018-06-22  Alan ZimmermanTTG for IPBind had wrong extension name
2018-06-04  Simon Peyton JonesImplement QuantifiedConstraints
2018-06-02  Ben Gamarivectorise: Put it out of its misery
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-01-26  Joachim BreitnerTurn EvTerm (almost) into CoreExpr (#14691)
2017-12-21  Simon Peyton JonesRefactor coercion holes
2017-12-21  Simon Peyton JonesSimplify HsPatSynDetails
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  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-27  Simon MarlowApplicativeDo: handle BodyStmt (#12143)
2017-10-05  Joachim BreitnerRemove m_type from Match (#14313)
2017-09-19  Herbert Valerio... compiler: introduce custom "GhcPrelude" Prelude
2017-07-31  Simon Peyton JonesUse field names for all uses of datacon Match
2017-07-31  Simon Peyton JonesImprove the desugaring of -XStrict
2017-07-27  Richard EisenbergFix #12369 by being more flexible with data insts
2017-06-05  Alan ZimmermanUdate hsSyn AST to use Trees that Grow
2017-05-26  Simon Peyton JonesRe-engineer Given flatten-skolems
2017-05-08  NolanMake XNegativeLiterals treat -0.0 as negative 0
2017-02-18  Ben GamariType-indexed Typeable
2017-02-14  Adam GundryImplement HasField constraint solving and modify Overlo...
2017-01-19  Richard EisenbergUpdate levity polymorphism
2016-12-07  Alan ZimmermanAdd HsSyn prettyprinter tests
2016-11-29  Gabor GreifTypos in comments
2016-11-29  Simon Peyton JonesZonk the free tvs of a RULE lhs to TyVars
2016-11-25  Simon Peyton JonesUse TyVars in PatSyns
2016-11-02  Simon Peyton JonesGet rid of TcTyVars more assiduously
2016-10-21  Simon Peyton JonesA collection of type-inference refactorings.
2016-10-10  Simon Peyton JonesRename a parameter; trivial refactor
2016-10-06  Joachim BreitnerRemove dead code “mkHsConApp”
2016-07-21  Ömer Sinan AğacanImplement unboxed sum primitive type
2016-07-05  Bartosz NitkaKill varEnvElts in zonkEnvIds
2016-06-15  Simon Peyton JonesMajor patch to introduce TyConBinder
2016-06-15  Simon Peyton JonesRe-add FunTy (big patch)
2016-06-06  Alan ZimmermanMerge MatchFixity and HsMatchContext
2016-05-12  Bartosz NitkaRefactor some ppr functions to use pprUFM
2016-05-02  Facundo DomínguezStaticPointers: Allow closed vars in the static form.
2016-04-22  Bartosz NitkaFix typos: alpah -> alpha
2016-04-22  Simon Peyton JonesRefactor free tyvars on LHS of rules
2016-04-22  Simon Peyton JonesSimplify defaultKindVar and friends
2016-04-10  Jason EisenbergFix suggestions for unbound variables (#11680)
2016-04-10  Conal ElliottExport zonkEvBinds from TcHsSyn.
2016-03-31  Simon Peyton JonesRefactor in TcMatches
2016-03-26  Richard EisenbergCheck for rep poly on wildcard binders.
2016-03-21  Richard EisenbergFix #11723 and #11724.
2016-03-21  Richard EisenbergTrack specified/invisible more carefully.
2016-03-16  Richard EisenbergFix #11473.
2016-03-15  Richard EisenbergRefactor visible type application.
2016-02-24  Richard EisenbergAddress #11471 by putting RuntimeRep in kinds.
2016-02-12  Simon Peyton JonesSimplify AbsBinds wrapping
2016-02-02  Ben GamariTcMType: Add some elementary notes
2016-01-27  Richard EisenbergRefactor the typechecker to use ExpTypes.
2016-01-16  Alan ZimmermanWork SourceText in for all integer literals
2016-01-15  Richard EisenbergFix #11405.
2015-12-31  Herbert Valerio... Drop pre-AMP compatibility CPP conditionals
2015-12-24  Richard EisenbergVisible type application
2015-12-15  Ben GamariExpose enabled language extensions to TH
2015-12-12  Eric SeidelRework the Implicit CallStack solver to handle local...
2015-12-11  Richard EisenbergAdd kind equalities to GHC.
2015-12-07  Eric SeidelMove checking for missing signatures to RnNames.reportU...
2015-12-02  Eric SeidelAvoid panic due to partial ieName
2015-12-01  Simon Peyton JonesRefactor treatment of wildcards
2015-11-22  Alan ZimmermanApiAnnotations: Make all RdrName occurences Located
2015-11-18  Simon Peyton JonesRefactor HsExpr.RecordCon, RecordUpd
2015-11-17  Adam GundryImplement OverloadedLabels
2015-11-13  Alan ZimmermanAPIAnnotations:add Locations in hsSyn for layout
next