blob: f6252b79a47027ff87247f3b61d98910924b5611 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE StandaloneKindSignatures #-}
{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE TypeFamilies #-}
module T17688b where
import Data.Kind
import Language.Haskell.TH hiding (Type)
import System.IO
$(do decs <- [d| type T :: forall (a :: Type) -> (a ~ a) => Type
data T x |]
runIO $ hPutStrLn stderr $ pprint decs
return [] )
|
