blob: 9f4e6bd4acb30d49762f28cfbaea2053204eb83d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
|
module Foo where
import Prelude hiding (putStr, putStrLn)
import qualified System.IO (putStr, putStrLn)
import Data.Maybe
import qualified ValidHoleFits
ps :: String -> IO ()
ps = putStrLn
a :: Int -> IO Int
a _ = return 1
b :: Int -> IO Int
b _ = return 2
c :: Int -> IO Int
c _ = do { x <- a 0
; y <- _ x
; return y }
test :: [Maybe a] -> [a]
test = _
test2 :: Integer -> ValidHoleFits.Moo
test2 = _
k :: Maybe Integer
k = _ 2
f :: String
f = show _
h :: String
h = show (_ (_ :: Bool))
-- Built-in Syntax
myCons :: a -> [a] -> [a]
myCons = _
main :: IO ()
main = _ "hello, world"
|