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
#9693 Reloading GHCi with Template Haskell names can panic GHC high
#10599 8.4.1 Template Haskell doesn't allow `newName "type"` high goldfire
#10946 8.4.1 Typed hole inside typed Template Haskell bracket causes panic high
#1262 RecursiveDo in Template Haskell normal mgsloan
#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 errge
#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
#9699 TH function to list names in scope 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
#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.4.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
#12387 Template Haskell ignores class instance definitions with methods that don't belong to the class 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
#13776 -ddump-splices produces unnecessarily qualified names for tuple and list types normal mrkgnao
#13809 TH-reified type familly and data family instances have a paucity of kinds normal
#14030 8.4.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
#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
#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 6 months ago Last modified on Apr 10, 2017 4:50:16 PM