Update outputs following the unicode quote change in GHC's output
[ghc.git] / testsuite / tests / typecheck / should_fail / T7264.stderr
1
2 T7264.hs:13:19:
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
6     Expected type: a -> Foo
7       Actual type: (forall r. r -> String) -> Foo
8     Relevant bindings include
9       mkFoo2 :: a -> Maybe Foo (bound at T7264.hs:13:1)
10       val :: a (bound at T7264.hs:13:8)
11     In the first argument of ‛mmap’, namely ‛Foo’
12     In the expression: mmap Foo (Just val)
13     In an equation for ‛mkFoo2’: mkFoo2 val = mmap Foo (Just val)