Improved Valid Hole Fits
[ghc.git] / testsuite / tests / typecheck / should_compile / valid_hole_fits.hs
1 module Foo where
2
3 import Prelude hiding (putStr, putStrLn)
4 import qualified System.IO (putStr, putStrLn)
5 import Data.Maybe
6 import qualified ValidHoleFits
7
8 ps :: String -> IO ()
9 ps = putStrLn
10
11 a :: Int -> IO Int
12 a _ = return 1
13 b :: Int -> IO Int
14 b _ = return 2
15 c :: Int -> IO Int
16 c _ = do { x <- a 0
17 ; y <- _ x
18 ; return y }
19
20 test :: [Maybe a] -> [a]
21 test = _
22
23 test2 :: Integer -> ValidHoleFits.Moo
24 test2 = _
25
26 k :: Maybe Integer
27 k = _ 2
28
29 f :: String
30 f = show _
31
32
33 h :: String
34 h = show (_ (_ :: Bool))
35
36 main :: IO ()
37 main = _ "hello, world"