TH: make `Lift` and `TExp` levity-polymorphic
[ghc.git] / compiler / typecheck / TcSplice.hs
2019-04-19  Alec TheriaultTH: make `Lift` and `TExp` levity-polymorphic
2019-03-15  Ryan ScottUpdate Trac ticket URLs to point to GitLab
2019-03-01  Ryan ScottVisible dependent quantification
2019-02-27  Vladislav ZavialovTreat kind/type variables identically, demolish FKTV
2019-02-24  Simon Peyton JonesAdd AnonArgFlag to FunTy
2019-02-12  Ryan ScottFix #16293 by cleaning up Proxy# infelicities
2019-02-10  Matthew PickeringCapture and simplify constraints arising from running...
2019-02-06  Ryan ScottFix #14579 by defining tyConAppNeedsKindSig, and using it
2019-01-11  Matthew PickeringRun typed splices in the zonker
2019-01-03  mynguyenVisible kind application
2018-12-03  Simon Peyton JonesIntroduce tcTypeKind, and use it
2018-11-29  Simon Peyton JonesTaming the Kind Inference Monster
2018-11-22  Ryan ScottFix #15852 by eta expanding data family instance RHSes...
2018-11-22  Sylvain HenryRename literal constructors
2018-11-08  Ryan ScottFix #15845 by defining etaExpandFamInstLHS and using it
2018-10-27  Matthew YacavoneMore explicit foralls (GHC Proposal 0007)
2018-10-26  Simon Peyton JonesDe-monadise the 'extract' functions in RnTypes
2018-10-24  Ryan ScottFix #15792 by not reifying invisible arguments in AppTys
2018-10-23  Ben GamariAdd 'hadrian/' from commit '45f3bff7016a2a0cd9a5455a882...
2018-09-27  Simon MarlowFix for recover with -fexternal-interpreter (#15418)
2018-09-15  ningningCoercion Quantification
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
next