blob: a89c5f03a825bcc29bd5b1d2b7a82c3490a9d4f9 (
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
|
[1 of 2] Compiling ValidSubs ( ValidSubs.hs, ValidSubs.o )
[2 of 2] Compiling Foo ( valid_substitutions.hs, valid_substitutions.o )
valid_substitutions.hs:13:8: warning: [-Wtyped-holes (in -Wdefault)]
• Found hole: _ :: [Maybe a] -> [a]
Where: ‘a’ is a rigid type variable bound by
the type signature for:
test :: forall a. [Maybe a] -> [a]
at valid_substitutions.hs:12:1-24
• In the expression: _
In an equation for ‘test’: test = _
• Relevant bindings include
test :: [Maybe a] -> [a] (bound at valid_substitutions.hs:13:1)
valid_substitutions.hs:16:9: warning: [-Wtyped-holes (in -Wdefault)]
• Found hole: _ :: Integer -> ValidSubs.Moo
• In the expression: _
In an equation for ‘test2’: test2 = _
• Relevant bindings include
test2 :: Integer -> ValidSubs.Moo
(bound at valid_substitutions.hs:16:1)
Valid substitutions include
ValidSubs.Moo :: Integer -> ValidSubs.Moo
valid_substitutions.hs:19:8: warning: [-Wtyped-holes (in -Wdefault)]
• Found hole: _ :: [Char] -> IO ()
• In the expression: _
In the expression: _ "hello, world"
In an equation for ‘main’: main = _ "hello, world"
• Relevant bindings include
main :: IO () (bound at valid_substitutions.hs:19:1)
Valid substitutions include
ps :: String -> IO () (defined at valid_substitutions.hs:9:1)
System.IO.putStr :: String -> IO ()
(imported qualified from ‘System.IO’ at valid_substitutions.hs:4:1-26)
putStrLn :: String -> IO ()
(imported qualified from ‘System.IO’ at valid_substitutions.hs:4:1-26)
|
