shithub: MicroHs

ref: d65bc804563c41d1be4a6620ccde395555cb6da9
dir: /tests/Rank2.hs/

View raw version 
module Rank2(main) where
import Prelude

f :: (forall a . a -> a) -> (Int, Bool)
f i = (i 1, i True)

g :: (forall a . a -> Int -> a) -> (Int, Bool)
g c = (c 1 1, c True 1)

data Id = Id (forall a . a -> a)

iD :: Id
iD = Id (\ x -> x)

main :: IO ()
main = do
  putStrLn $ show $ f id
  putStrLn $ show $ g const
  case iD of
    Id i -> putStrLn $ show (i 1, i True)