Merge branch 'master' of http://darcs.haskell.org/testsuite
[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     In the expression: fooThen (bar >> undefined)
9
10 T3613.hs:17:24:
11     Couldn't match type `IO' with `Maybe'
12     Expected type: Maybe ()
13       Actual type: IO ()
14     In a stmt of a 'do' block: bar
15     In the first argument of `fooThen', namely
16       `(do { bar;
17              undefined })'
18     In the expression:
19       fooThen
20         (do { bar;
21               undefined })