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

T3613.hs:14:20:
    Couldn't match expected type `Maybe a0' with actual type `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:
    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 })