blob: db12fc4ed6e6cfb33e306164180cf95e82852507 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
{-# LANGUAGE TemplateHaskell, TypeApplications, ExplicitForAll, StarIsType #-}
{-# OPTIONS -Wno-star-is-type #-}
module TH_PprStar where
import Data.Proxy
import Language.Haskell.TH
import System.IO
do t <- [t| (Proxy @(*) String -> *) -> Either * ((* -> *) -> *) |]
runIO $ do hPutStrLn stderr (pprint t)
return []
|
