blob: 712071511005aea1fc7127532d2867501968d836 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
{-# LANGUAGE KindSignatures #-}
module Main(main) where
import Data.Typeable
import GHC.Exts
test1 :: Bool
test1 = typeRep (Proxy :: Proxy (() :: *)) ==
typeRep (Proxy :: Proxy (() :: Constraint))
test2 :: Bool
test2 = typeRepTyCon (typeRep (Proxy :: Proxy (Int,Int))) ==
typeRepTyCon (typeRep (Proxy :: Proxy (Eq Int, Eq Int)))
main :: IO ()
main = print (test1,test2)
|
