blob: 24945887c7d3e3372d5277afbc20c5727f6e15d0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
|
{-# LANGUAGE DataKinds, PolyKinds, TypeFamilies, TemplateHaskell,
FlexibleInstances, UndecidableInstances #-}
module T8953 where
import Data.Proxy
import Language.Haskell.TH hiding (Type)
import Data.Kind (Type)
import System.IO
type family Poly (a :: k) :: Type
type instance Poly (x :: Bool) = Int
type instance Poly (x :: Maybe k) = Double
type family Silly :: k -> Type
type instance Silly = (Proxy :: Type -> Type)
type instance Silly = (Proxy :: (Type -> Type) -> Type)
a :: Proxy (Proxy :: Type -> Type)
b :: Proxy (Proxy :: (Type -> Type) -> Type)
a = undefined
b = undefined
type StarProxy (a :: Type) = Proxy a
class PC (a :: k)
instance PC (a :: Type)
instance PC (Proxy :: (k -> Type) -> Type)
data T1 :: k1 -> k2 -> Type
data T2 :: k1 -> k2 -> Type
type family F a :: k
type family G (a :: k) :: k
type instance G T1 = T2
type instance F Char = (G T1 Bool :: (Type -> Type) -> Type)
$( do infos <- mapM reify [''Poly, ''Silly, 'a, 'b, ''StarProxy, ''PC, ''F, ''G]
runIO $ mapM (putStrLn . pprint) infos
runIO $ hFlush stdout
return [] )
|
