File: Main.hs

package info (click to toggle)
bali-phy 4.0-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 15,392 kB
  • sloc: cpp: 120,442; xml: 13,966; haskell: 9,975; python: 2,936; yacc: 1,328; perl: 1,169; lex: 912; sh: 343; makefile: 26
file content (18 lines) | stat: -rw-r--r-- 527 bytes parent folder | download | duplicates (3) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
 
{-# LANGUAGE RankNTypes, ScopedTypeVariables #-}

module Main where

polyapply :: (forall a.a->a) -> (Int, Char)
polyapply f = (f 1, f 'a')

polyapply2 (f :: forall a.a->a) = (f 1, f 'a')

main = do putStrLn "HelloWorld!"
          putStrLn $ show [[1],[2]]
          putStrLn $ show (1,'a')
          putStrLn $ show 'a'
          putStrLn $ show $ polyapply (id :: forall b.b->b)
          putStrLn $ show $ polyapply id
          putStrLn $ show $ polyapply2 (id :: forall b.b->b)
          putStrLn $ show $ polyapply2 id