gistfile1.hs

{-# Language TemplateHaskell, QuasiQuotes #-}
module ReifyTest where

import Language.Haskell.TH
import Language.Haskell.TH.Quote
import Data.Maybe

qq :: QuasiQuoter
qq = QuasiQuoter{quoteExp = \x -> litE . StringL .show =<< reify . fromJust =<< lookupValueName x}

---------------------------------------------------------------------

{-# Language TemplateHaskell, QuasiQuotes #-}
import Language.Haskell.TH
import ReifyTest

test :: Int -> String
test x = [qq|x|] -- error!
                 -- reify2.2.hs:6:14:
                 --    x_a11C' is not in the type environment at a reify