Fold testsuite.git into ghc.git (re #8545)
[ghc.git] / testsuite / tests / typecheck / should_fail / T3613.stderr
1
2 T3613.hs:14:20:
3     Couldn't match type ‛IO’ with ‛Maybe’
4     Expected type: Maybe ()
5       Actual type: IO ()
6     In the first argument of ‛(>>)’, namely ‛bar’
7     In the first argument of ‛fooThen’, namely ‛(bar >> undefined)’
8
9 T3613.hs:17:24:
10     Couldn't match type ‛IO’ with ‛Maybe’
11     Expected type: Maybe ()
12       Actual type: IO ()
13     In a stmt of a 'do' block: bar
14     In the first argument of ‛fooThen’, namely
15       ‛(do { bar;
16              undefined })’