testsuite: Assert that testsuite ways are known
[ghc.git] / testsuite / tests / typecheck / should_compile / T9497a.stderr
1
2 T9497a.hs:2:8: warning: [-Wtyped-holes (in -Wdefault)]
3     • Found hole: _main :: IO ()
4       Or perhaps ‘_main’ is mis-spelled, or not in scope
5     • In the expression: _main
6       In an equation for ‘main’: main = _main
7     • Relevant bindings include main :: IO () (bound at T9497a.hs:2:1)
8       Valid hole fits include
9         main :: IO () (bound at T9497a.hs:2:1)
10         readLn :: forall a. Read a => IO a
11           with readLn @()
12           (imported from ‘Prelude’ at T9497a.hs:1:1
13            (and originally defined in ‘System.IO’))
14         mempty :: forall a. Monoid a => a
15           with mempty @(IO ())
16           (imported from ‘Prelude’ at T9497a.hs:1:1
17            (and originally defined in ‘GHC.Base’))