Add support for ImplicitParams and RecursiveDo in TH
[ghc.git] / compiler / typecheck / TcSplice.hs
2018-09-14  Michael SloanAdd support for ImplicitParams and RecursiveDo in TH
2018-08-31  Simon Peyton JonesRemove knot-tying bug in TcHsSyn.zonkTyVarOcc
2018-08-27  Ryan ScottDon't reify redundant class method tyvars/contexts
2018-08-21  klebinger.andreas... Replace most occurences of foldl with foldl'.
2018-08-02  Richard EisenbergRemove decideKindGeneralisationPlan
2018-07-27  Michael SloanFail instead of panic-ing when qAddTopDecls has convers...
2018-07-25  Simon Peyton JonesTreat isConstraintKind more consistently
2018-06-18  Simon Peyton JonesTwo small refactorings
2018-06-14  Vladislav ZavialovEmbrace -XTypeInType, add -XStarIsType
2018-06-03  Boldizsar NemethExtended the plugin system to run plugins on more repre...
2018-04-27  Alan ZimmermanTTG : complete for balance of hsSyn AST
2018-04-09  Alan ZimmermanRestore Trees That Grow reverted commits
2018-04-01  Richard EisenbergTrack type variable scope more carefully.
2018-03-25  Alec TheriaultSupport adding objects from TH
2018-03-21  Ryan ScottFix #14869 by being more mindful of Type vs. Constraint
2018-03-05  Ryan ScottFix #14888 by adding more special cases for ArrowT
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-06  Andrey MokhovMerge commit '7b0b9f603bb1215e2b7af23c2404d637b95a4988...
2017-10-19  Ryan ScottExport injectiveVarsOf{Binder,Type} from TyCoRep
2017-10-07  Ryan ScottIncorporate changes from #11721 into Template Haskell
2017-09-22  Facundo DomínguezImplement TH addCorePlugin.
2017-09-19  Herbert Valerio... compiler: introduce custom "GhcPrelude" Prelude
2017-09-14  Simon Peyton JonesRemove unused variable binding
2017-09-14  Simon Peyton JonesRefactor to eliminate FamTyConShape
2017-09-02  Ryan ScottFix #14167 by using isGadtSyntaxTyCon in more places
2017-08-22  Ryan ScottFix #13885 by freshening reified GADT constructors...
2017-08-17  Ryan ScottFix #11785 by making reifyKind = reifyType
2017-08-15  Ryan ScottFix #14060 by more conservatively annotating TH-reified...
2017-08-05  Oleg GrenrusAdd MonadIO Q - by requiring MonadIO => Quasi
2017-07-28  Ryan ScottError eagerly after renaming failures in reifyInstances
2017-07-27  Richard EisenbergFix #13819 by refactoring TypeEqOrigin.uo_thing
2017-06-05  Alan ZimmermanUdate hsSyn AST to use Trees that Grow
2017-06-02  Ryan ScottUse lengthIs and friends in more places
2017-05-04  Simon Peyton JonesDeal with exceptions in dsWhenNoErrs
2017-05-03  Richard EisenbergFix #13233 by checking for lev-poly primops
2017-04-28  Ryan ScottMake the tyvars in TH-reified data family instances...
2017-04-12  Matthew PickeringSplit up RnEnv into 4 modules, RnUnbound, RnUtils and...
2017-03-15  Ben GamariIntroduce and use EnumSet in DynFlags
2017-03-09  Francesco MazzoliAllow compilation of C/C++/ObjC/ObjC++ files with modul...
2017-02-10  Alan ZimmermanTH-spliced class instances are pretty-printed incorrect...
2017-02-09  Facundo DomínguezImplement addCStub in template-haskell.
2017-02-02  Gabor GreifSpelling fixes
2017-01-30  Iavor S. DiatchkiFixes bug #11046
2016-12-20  Shea LevyAllow use of the external interpreter in stage1.
2016-12-19  Tamar ChristinaRevert "Allow use of the external interpreter in stage1."
2016-12-18  Shea LevyAllow use of the external interpreter in stage1.
2016-12-09  Ryan ScottDisambiguate reified closed type family kinds in TH
2016-12-07  Alan ZimmermanAdd HsSyn prettyprinter tests
2016-11-24  Dominik BollmannMake quoting and reification return the same types
2016-10-08  Edward Z. YangThe Backpack patch.
2016-10-05  Simon Peyton JonesImprove error handling in TcRnMonad
2016-09-28  Gabor GreifComments and manual only: spelling
2016-09-05  Facundo DomínguezDon't ignore addTopDecls in module finalizers.
2016-08-23  Ryan ScottTemplate Haskell support for unboxed sums
2016-07-25  Gabor GreifSome typos in comments
2016-07-18  Ryan ScottFix Template Haskell reification of unboxed tuple types
2016-07-06  Facundo DomínguezHave addModFinalizer expose the local type environment.
2016-06-24  Simon MarlowRemote GHCi: comments only
2016-06-24  Simon MarlowRemote GHCi: separate out message types
2016-06-24  Simon MarlowImplement ReifyConStrictness for -fexternal-interpreter...
2016-06-15  Simon Peyton JonesMajor patch to introduce TyConBinder
2016-06-15  Simon Peyton JonesRe-add FunTy (big patch)
2016-05-12  Dominik BollmannAdd TH support for pattern synonyms (fixes #8761)
2016-04-17  Iavor S. DiatchkiAdd TemplateHaskell support for Overlapping pragmas
2016-04-11  RyanGlScottFilter out invisible kind arguments during TH reification
2016-02-25  Michael WalkerPrint which warning-flag controls an emitted warning
2016-02-24  Richard EisenbergAddress #11471 by putting RuntimeRep in kinds.
2016-02-12  Simon Peyton JonesImprove pretty-printing of HsWrappers
2016-01-27  Richard EisenbergRefactor the typechecker to use ExpTypes.
2016-01-27  Ömer Sinan Ağacans/unLifted/unlifted for consistency
2016-01-26  Bartosz NitkaConstruct in_scope set in mkTopTCvSubst
2016-01-18  Jan StolarekReplace calls to `ptext . sLit` with `text`
2016-01-16  Alan ZimmermanWork SourceText in for all integer literals
2016-01-15  RyanGlScottRefactor lookupFixityRn-related code following D1744
2016-01-14  Jan StolarekMinor code refactoring
2016-01-08  RyanGlScottFix Template Haskell's handling of infix GADT constructors
2016-01-08  Simon MarlowSupport for qRecover in TH with -fexternal-interpreter
2016-01-08  Simon MarlowEnable stack traces with ghci -fexternal-interpreter...
2016-01-07  Simon Peyton JonesInline solveTopConstraints
2016-01-06  Jan StolarekChange Template Haskell representation of GADTs.
2015-12-24  Richard EisenbergVisible type application
2015-12-22  RyanGlScottRework Template Haskell's handling of strictness
2015-12-21  Jan StolarekAdd proper GADTs support to Template Haskell
2015-12-17  Adam GundryReify DuplicateRecordFields by label, rather than by...
2015-12-17  Simon MarlowRemote GHCi, -fexternal-interpreter
2015-12-15  Ben GamariExpose enabled language extensions to TH
2015-12-12  John LeoRefactor type families in Template Haskell
2015-12-11  Richard EisenbergAdd kind equalities to GHC.
2015-12-01  Simon Peyton JonesRefactor treatment of wildcards
2015-11-25  Simon Peyton JonesRefactor default methods (Trac #11105)
2015-11-22  Alan ZimmermanApiAnnotations: Make all RdrName occurences Located
2015-11-16  Ömer Sinan AğacanUse TcM instead of it's expanded form, in TcSplice
2015-10-24  Ömer Sinan Ağacanuse Proxy instead of undefined -- we already dropped...
2015-10-16  Jan StolarekAdd typed holes support in Template Haskell.
2015-10-16  Adam GundryImplement DuplicateRecordFields
next