blob: 69e4239f43f403b50d393d534b0034ea12f9f3a6 (
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.Prim
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 [])
|