blob: 3ec2dd8e8eae196a15334b86a6f9b77f625c8c7f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
{-# LANGUAGE ConstraintKinds #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE TemplateHaskell #-}
module TH_RichKinds where
import GHC.Exts
import Language.Haskell.TH
$(do tys <- sequence [ [t| forall a. (a :: Bool) |]
, [t| forall a. (a :: Constraint) |]
, [t| forall a. (a :: [*]) |]
, [t| forall a. (a :: (*, Bool)) |]
, [t| forall a. (a :: ()) |]
, [t| forall a. (a :: (* -> Bool) -> ((*, * -> *) -> Bool)) |]
]
reportWarning (pprint tys)
return [])
|
