1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18
{-# LANGUAGE TemplateHaskell #-} module T5434a where import Language.Haskell.TH genShadow1 :: Q [Dec] genShadow1 = [d| x :: Char x = 'x' |] genShadow2 :: Q [Dec] genShadow2 = [d| z :: Char z = succ x where x = 'y' |]