Follow-up to #13887, for promoted infix constructors
[ghc.git] / testsuite / tests / th / T13887.hs
1 {-# LANGUAGE DataKinds #-}
2 {-# LANGUAGE TemplateHaskell #-}
3 module Main where
4
5 import Data.Proxy
6 import GHC.Generics
7 import Language.Haskell.TH
8
9 main :: IO ()
10 main = do
11 putStrLn $([t| Proxy (:*:) |] >>= stringE . pprint)
12 putStrLn $([t| Proxy '(:*:) |] >>= stringE . pprint)
13 putStrLn $([t| Proxy '(:) |] >>= stringE . pprint)