summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_compile/T9497a.stderr
blob: 114a7046caace78e02fea6cbb6fcc5c8e993764e (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

T9497a.hs:2:8: warning: [-Wtyped-holes (in -Wdefault)]
    • Found hole: _main :: IO ()
      Or perhaps ‘_main’ is mis-spelled, or not in scope
    • In an equation for ‘main’: main = _main
    • Relevant bindings include main :: IO () (bound at T9497a.hs:2:1)
      Valid hole fits include
        main :: IO () (bound at T9497a.hs:2:1)
        readLn :: forall a. Read a => IO a
          with readLn @()
          (imported from ‘Prelude’ at T9497a.hs:1:1
           (and originally defined in ‘System.IO’))
        mempty :: forall a. Monoid a => a
          with mempty @(IO ())
          (imported from ‘Prelude’ at T9497a.hs:1:1
           (and originally defined in ‘GHC.Base’))