diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T7264.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/T7264.stderr | 21 |
1 files changed, 11 insertions, 10 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T7264.stderr b/testsuite/tests/typecheck/should_fail/T7264.stderr index 4b5b3557d9..b343d88cd1 100644 --- a/testsuite/tests/typecheck/should_fail/T7264.stderr +++ b/testsuite/tests/typecheck/should_fail/T7264.stderr @@ -1,12 +1,13 @@ -T7264.hs:13:19: - Couldn't match type ‘a’ with ‘forall r. r -> String’ +T7264.hs:13:19: error: + • Couldn't match type ‘a’ with ‘forall r. r -> String’ ‘a’ is a rigid type variable bound by - the inferred type of mkFoo2 :: a -> Maybe Foo at T7264.hs:13:1 - Expected type: a -> Foo - Actual type: (forall r. r -> String) -> Foo - In the first argument of ‘mmap’, namely ‘Foo’ - In the expression: mmap Foo (Just val) - Relevant bindings include - val :: a (bound at T7264.hs:13:8) - mkFoo2 :: a -> Maybe Foo (bound at T7264.hs:13:1) + the inferred type of mkFoo2 :: a -> Maybe Foo at T7264.hs:13:1 + Expected type: a -> Foo + Actual type: (forall r. r -> String) -> Foo + • In the first argument of ‘mmap’, namely ‘Foo’ + In the expression: mmap Foo (Just val) + In an equation for ‘mkFoo2’: mkFoo2 val = mmap Foo (Just val) + • Relevant bindings include + val :: a (bound at T7264.hs:13:8) + mkFoo2 :: a -> Maybe Foo (bound at T7264.hs:13:1) |