summaryrefslogtreecommitdiff
path: root/testsuite/tests/th/T17688b.hs
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 [] )