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