summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T3613.stderr
blob: cff3344597df589989e06230b72a88b499e84aa1 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

T3613.hs:14:20: error:
    • Couldn't match type ‘IO’ with ‘Maybe’
      Expected: Maybe ()
        Actual: IO ()
    • In the first argument of ‘(>>)’, namely ‘bar’
      In the first argument of ‘fooThen’, namely ‘(bar >> undefined)’
      In the expression: fooThen (bar >> undefined)

T3613.hs:17:24: error:
    • Couldn't match type ‘IO’ with ‘Maybe’
      Expected: Maybe ()
        Actual: IO ()
    • In a stmt of a 'do' block: bar
      In the first argument of ‘fooThen’, namely
        ‘(do bar
             undefined)’
      In the expression:
        fooThen
          (do bar
              undefined)