summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T3613.stderr
blob: f7fa6d48716986e92276294ef63e5dbd2c55e01a (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14

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

T3613.hs:17:24:
    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 })’