Template Haskell

Stuff about Template Haskell


Use Component = Template Haskell to ensure that a ticket ends up on these lists.

(Sadly this is different to other groupings for which we use the Keywords field. We could switch to Keyword if we went back and added TemplateHaskell as a keyword to all the existing tickets.)

Ticket Milestone Summary Priority Owner
#10946 8.10.1 Typed hole inside typed Template Haskell bracket causes panic high
#1444 Template Haskell: add proper support for qualified names in non-splicing applications normal
#1475 Adding imports and exports with Template Haskell normal
#1800 Template Haskell support for running functions defined in the same module normal
#1831 reify never provides the declaration of variables normal
#2041 Allow splicing in concrete syntax normal
#4372 Accept expressions in left-hand side of quasiquotations normal
#5416 Local modules and Template Haskell declaration splices normal
#5463 SPECIALISE pragmas generated from Template Haskell are ignored normal
#5467 Template Haskell: support for Haddock comments normal
#6089 Allow declaration splices inside declaration brackets normal simonpj
#7066 isInstance does not work for compound types normal simonpj
#7141 Inlining the single method of a class can shadow rules normal simonpj
#7277 Recompilation check fails for TH unless functions are inlined normal
#7808 data families and TH names do not mix well (e.g. cannot use TH deriving) normal
#8398 reify module list in TH normal
#8426 one-shot compilation + TH doesn't see instances that is seen in batch mode normal
#8489 clean up dependency and usages handling in interface files normal mgsloan
#8510 Clear up what extensions are needed at a Template Haskell splice site normal
#8679 Extend FunD data constructor with information about type signature normal
#9693 Reloading GHCi with Template Haskell names can panic GHC normal
#9699 TH function to list names in scope normal
#10271 Typed Template Haskell splice difficulty when resolving overloading normal
#10330 Better Template Haskell error message locations normal
#10385 Annotation restriction is not respected while generating Annotation via TH normal alanz
#10572 Type signatures are not implicitly quantified over TH type variables normal
#10599 8.10.1 Template Haskell doesn't allow `newName "type"` normal goldfire
#10701 -fth-dec-file uses qualified names from hidden modules normal
#10702 -fth-dec-file uses qualified names in binding positions normal
#10707 -fth-dec-file outputs invalid case clauses normal bollmann
#10842 "Reactive" Template Haskell normal
#10853 8.10.1 Refine addTopDecls normal
#11078 Access to module renaming with reifyModule, in TemplateHaskell normal
#11081 Implement Introspective Template Haskell normal
#11251 isInstance does not work on Typeable with base-4.8 anymore normal goldfire
#11584 [Template Haskell] Language.Haskell.TH.Syntax.hs contains misleading comment normal bollmann
#11593 Template Haskell: Add a way to get names that are neither capturable nor capturing. normal
#11812 Template Haskell can induce non-unique Uniques normal
#12073 Missing instance of MonadFix for Q normal
#12249 Template Haskell top level scoping error normal
#12410 Somehow detect splicing in ghci normal
#12451 TemplateHaskell and Data.Typeable - tcIfaceGlobal (local): not found normal
#12452 TemplateHaskell - variables in top level splices and loading modules. normal
#12561 Scope extrusion in Template Haskell normal
#12778 Expose variables bound in quotations to reify normal
#12818 Allow reify to find top-level bindings in later declaration groups normal
#13054 Generating unique names with template haskell normal
#13269 Changes in foreign code used in TH do not trigger recompilation normal
#13587 addTopDecls fails with typed Template Haskell normal
#13728 Clarify the difference between NameL and NameU in Template Haskell normal
#14030 8.10.1 Implement the "Derive Lift instances for data types in template-haskell" proposal normal RyanGlScott
#14032 Can't splice TH quote with infix declaration for name in two different namespaces normal RyanGlScott
#14212 Give better error message with non-supported Backpack/TH use normal
#14318 TH shadowing bind statement triggers -Wunused-matches normal
#14474 reify RHS of "value" variable normal
#14571 RFE: Make template-haskell cabal package require a specific version of GHC normal
#14623 Allow qAddDependentFile on directories normal
#14838 8.10.1 missing "incomplete-patterns" warning for TH-generated functions normal
#15167 8.10.1 DerivClause list is not populated for (TyConI (DataD ...)) normal
#15270 8.10.1 TH doesn't verify name types during conversion normal
#15356 8.10.1 Template Haskell should turn off RebindableSyntax in quotes normal
#15433 8.10.1 Internal error with PartialTypeSignatures and TH normal
#15437 8.10.1 Internal error when applying a scoped type variable inside a typed expression quotation normal
#15464 8.10.1 Template Haskell creates System names when it shouldn't normal
#15533 8.6.1 Access the number of bits in the target machine's Int type at compile time normal
#15760 Preserve parens in TH normal
#15824 Prefix/infix distinction in TemplateHaskell types is lost normal
#15833 Typed template haskell quote fails to typecheck when spliced due to an ambiguous type variable normal
#15863 Splcing a type class method selects the wrong instance normal
#15865 Typed template haskell and implicit parameters lead to incorrect results normal
#16176 Let-insertion for template haskell normal
#16177 Rename Q (TExp a) to Code a normal
#16178 Brackets and splices should be overloaded like the static keyword normal
#16300 Make TH always reify data types with explicit return kinds normal
#16396 TH doesn't preserve `forall` normal
#4222 Template Haskell lets you reify supposedly-abstract data types low
#5016 Make Template Haskell: -ddump-splices generate executable code low
#5959 Top level splice in Template Haskell has over-ambitious lexical scope? low
#10331 Accept HsSyn in splices and generate it in quotes (ghc-api) low
#10391 Ability to get export list of TH reified module low mgsloan
#11377 Template Haskell only imports low
#12034 Template Haskell + hs-boot = Not in scope during type checking, but it passed the renamer low
#13551 Support DEPRECATED and WARNING pragmas on Template Haskell low
#1012 ghc panic with mutually recursive modules and template haskell lowest
#2340 Improve Template Haskell error recovery lowest
#3355 Refactor Template Haskell syntax conversions lowest
#11378 Use the compiler that built ghc for dynamic code loading, for cross-compiling lowest

Last modified 3 years ago Last modified on Apr 10, 2017 4:50:16 PM