summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_compile/valid_substitutions.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/typecheck/should_compile/valid_substitutions.stderr')
-rw-r--r--testsuite/tests/typecheck/should_compile/valid_substitutions.stderr37
1 files changed, 0 insertions, 37 deletions
diff --git a/testsuite/tests/typecheck/should_compile/valid_substitutions.stderr b/testsuite/tests/typecheck/should_compile/valid_substitutions.stderr
deleted file mode 100644
index a89c5f03a8..0000000000
--- a/testsuite/tests/typecheck/should_compile/valid_substitutions.stderr
+++ /dev/null
@@ -1,37 +0,0 @@
-[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)