blob: f78cf0266ad526886b125504d54451bd2eb2d8da (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
{-# 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 [] )
|
