Hi Greg,
Perhaps a less-invasive way to implement the -XSafe part of your
proposal would be to provide a module like:
module Language.Haskell.TH.Safe (
module Language.Haskell.TH,
reifyWithoutNameG,
) where
import Language.Haskell.TH hiding (runIO, reify*)
where reifyWithoutNameG is the sa
Hello GHC friends!
I am starting up a proposal for variants of Template Haskell that restrict
what operations are available. The goal is to make TH easier for users to
reason about and to allow for an easier compilation story.
Here is the proposal page:
https://ghc.haskell.org/trac/ghc/wiki/Templ
