blob: 2567fb5e04b1d41ce16d47c63f7aac2b11594a89 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE TemplateHaskell #-}
module T15792 where
import Data.Kind
import Language.Haskell.TH hiding (Type)
import System.IO
newtype T (f :: forall a. a -> Type) = MkT (f Bool)
$(pure [])
$(do info <- reify ''T
runIO $ hPutStrLn stderr $ pprint info
pure [])
|
