diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T3613.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/T3613.stderr | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T3613.stderr b/testsuite/tests/typecheck/should_fail/T3613.stderr new file mode 100644 index 0000000000..feb46416df --- /dev/null +++ b/testsuite/tests/typecheck/should_fail/T3613.stderr @@ -0,0 +1,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 }) |