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

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

T3613.hs:17:24: error:
    • Couldn't match expected type ‘Maybe a0’ with actual type ‘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 })