Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / T3613.stderr
1
2 T3613.hs:14:20: error:
3     • Couldn't match type ‘IO’ with ‘Maybe’
4       Expected type: Maybe b
5         Actual type: IO b
6     • In the first argument of ‘fooThen’, namely ‘(bar >> undefined)’
7       In the expression: fooThen (bar >> undefined)
8       In the expression:
9         let fooThen m = foo >> m in fooThen (bar >> undefined)
10
11 T3613.hs:17:24: error:
12     • Couldn't match type ‘IO’ with ‘Maybe’
13       Expected type: Maybe ()
14         Actual type: IO ()
15     • In a stmt of a 'do' block: bar
16       In the first argument of ‘fooThen’, namely
17         ‘(do bar
18              undefined)’
19       In the expression:
20         fooThen
21           (do bar
22               undefined)