Rebindable Templates

Main.hs

import SpliceI
import SpliceS

main :: IO ()
main = testI >> testS

Quote.hs

{-# LANGUAGE 
  TemplateHaskell
#-}

module Quote where

import Language.Haskell.TH

num :: Integer
num = 8

magic :: Integer -> Q Exp
magic n = [| n |]

fromInteger :: Integer -> String
fromInteger = show

SpliceI.hs

{-# LANGUAGE 
  TemplateHaskell, RebindableSyntax
#-}

module SpliceI where

import Prelude
import Quote hiding (fromInteger)

testI :: IO ()
testI = putStrLn $ show $(magic num)

SpliceS.hs

{-# LANGUAGE 
  TemplateHaskell, RebindableSyntax
#-}

module SpliceS where

import Prelude hiding (fromInteger)
import Quote

testS :: IO ()
testS = putStrLn $ show $(magic num)