shithub: MicroHs

ref: 2f3ccd459aedf6d03eaee5f77d982cbab4c23396
dir: /tests/LocalPoly.hs/

View raw version 
module LocalPoly(main) where
import Prelude

main :: IO ()
main = do
  putStrLn $ showPair (showPair showInt showString) (showPair showString showString) $ f 1 "a"

f :: forall b . Int -> b -> ((Int, b), (b, b))
f x b = (i x, i b)
  where
    i :: forall a . a -> (a, b)
    i a = (a, b)