diff options
author | Ian Lynagh <ian@well-typed.com> | 2013-02-24 14:48:43 +0000 |
---|---|---|
committer | Ian Lynagh <ian@well-typed.com> | 2013-02-24 14:48:43 +0000 |
commit | d6588276e819f088e29a6c16ba0a0c82acfd05cc (patch) | |
tree | fb9d06e18d8ad31733117c08ff4954e7a8b27b04 /testsuite/tests/typecheck/should_fail/T7264.stderr | |
parent | 11237cf673876f6ef85918383cb46b8b1e8ca099 (diff) | |
download | haskell-d6588276e819f088e29a6c16ba0a0c82acfd05cc.tar.gz |
Update outputs following the unicode quote change in GHC's output
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T7264.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/T7264.stderr | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T7264.stderr b/testsuite/tests/typecheck/should_fail/T7264.stderr index 31cc1dfbe5..3c0c068afd 100644 --- a/testsuite/tests/typecheck/should_fail/T7264.stderr +++ b/testsuite/tests/typecheck/should_fail/T7264.stderr @@ -1,13 +1,13 @@ T7264.hs:13:19: - Couldn't match type `a' with `forall r. r -> String' - `a' is a rigid type variable bound by + 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 Relevant bindings include mkFoo2 :: a -> Maybe Foo (bound at T7264.hs:13:1) val :: a (bound at T7264.hs:13:8) - In the first argument of `mmap', namely `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) + In an equation for ‛mkFoo2’: mkFoo2 val = mmap Foo (Just val) |