shithub: MicroHs

ref: 0e5ca6a53d99afd8d4990ab6340da4e77f1079d4
dir: /tests/Typeable.hs/

View raw version 
module Typeable(main) where
import Prelude
import Data.Proxy
import Data.Typeable

data T = A
  deriving Typeable

data P a = B a
  deriving (Typeable)

main :: IO ()
main = do
  print $ typeOf True
  print $ typeOf (return True :: IO Bool)
  print $ typeOf ('a', False)
  print $ typeRep (Proxy :: Proxy Monad)
  print $ typeOf A
  print $ typeOf (B (B A))
  print $ typeOf [1::Int]
  print $ typeOf ((+) :: Int -> Int -> Int)