Add test for #12589
[ghc.git] / testsuite / tests / typecheck / should_fail / T7264.stderr
1
2 T7264.hs:13:19: error:
3     • Couldn't match type ‘a’ with ‘forall r. r -> String’
4       ‘a’ is a rigid type variable bound by
5         the inferred type of mkFoo2 :: a -> Maybe Foo at T7264.hs:13:1-32
6       Expected type: a -> Foo
7         Actual type: (forall r. r -> String) -> Foo
8     • In the first argument of ‘mmap’, namely ‘Foo’
9       In the expression: mmap Foo (Just val)
10       In an equation for ‘mkFoo2’: mkFoo2 val = mmap Foo (Just val)
11     • Relevant bindings include
12         val :: a (bound at T7264.hs:13:8)
13         mkFoo2 :: a -> Maybe Foo (bound at T7264.hs:13:1)