|
|
## Template Haskell design
|
|
|
|
|
|
|
|
|
See [ New directions for Template Haskell](http://hackage.haskell.org/trac/ghc/blog/Template%20Haskell%20Proposal)
|
|
|
See [ New directions for Template Haskell](http://hackage.haskell.org/trac/ghc/blog/Template%20Haskell%20Proposal) for the general overview of changes. There are some details about [Part B:Add new MetaML-style constructs for strongly-typed metaprogramming.](template-haskell/typed)
|
|
|
|
|
|
## Template Haskell Conversions
|
|
|
|
|
|
|
|
|
There are various conversions between datatypes involved in the Template Haskell implementation. The following diagram summarises the operations and how they compose, and proposes a refactoring.
|
|
|
|
|
|
|
|
|
```wiki
|
|
|
TcSplice.reify Convert.convertToHsDecls
|
... | ... | |