diff options
Diffstat (limited to 'testsuite/tests/simplCore/should_compile/simpl017.stderr')
| -rw-r--r-- | testsuite/tests/simplCore/should_compile/simpl017.stderr | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/testsuite/tests/simplCore/should_compile/simpl017.stderr b/testsuite/tests/simplCore/should_compile/simpl017.stderr new file mode 100644 index 0000000000..ab82e56c36 --- /dev/null +++ b/testsuite/tests/simplCore/should_compile/simpl017.stderr @@ -0,0 +1,20 @@ + +simpl017.hs:44:12: + Couldn't match expected type `forall v. [E m i] -> E' v m a' + with actual type `[E m i] -> E' v0 m a' + In the first argument of `return', namely `f' + In a stmt of a 'do' block: return f + In the first argument of `E', namely + `(do { let ix :: [E m i] -> m i + ix [i] = runE i + {-# INLINE f #-} + ....; + return f })' + +simpl017.hs:63:5: + Couldn't match expected type `t0 -> t1' + with actual type `forall v. [E m0 Int] -> E' v m0 Int' + The function `a' is applied to one argument, + but its type `forall v. [E m0 Int] -> E' v m0 Int' has none + In the first argument of `plus', namely `a [one]' + In a stmt of a 'do' block: a [one] `plus` a [one] |