summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_compile/tc211.stderr
diff options
context:
space:
mode:
authorIan Lynagh <ian@well-typed.com>2013-02-24 14:48:43 +0000
committerIan Lynagh <ian@well-typed.com>2013-02-24 14:48:43 +0000
commitd6588276e819f088e29a6c16ba0a0c82acfd05cc (patch)
treefb9d06e18d8ad31733117c08ff4954e7a8b27b04 /testsuite/tests/typecheck/should_compile/tc211.stderr
parent11237cf673876f6ef85918383cb46b8b1e8ca099 (diff)
downloadhaskell-d6588276e819f088e29a6c16ba0a0c82acfd05cc.tar.gz
Update outputs following the unicode quote change in GHC's output
Diffstat (limited to 'testsuite/tests/typecheck/should_compile/tc211.stderr')
-rw-r--r--testsuite/tests/typecheck/should_compile/tc211.stderr14
1 files changed, 7 insertions, 7 deletions
diff --git a/testsuite/tests/typecheck/should_compile/tc211.stderr b/testsuite/tests/typecheck/should_compile/tc211.stderr
index 998cd76f5e..7538dedda8 100644
--- a/testsuite/tests/typecheck/should_compile/tc211.stderr
+++ b/testsuite/tests/typecheck/should_compile/tc211.stderr
@@ -1,20 +1,20 @@
tc211.hs:15:22:
- Couldn't match type `forall a6. a6 -> a6' with `a -> a'
+ Couldn't match type ‛forall a6. a6 -> a6’ with ‛a -> a’
Expected type: [a -> a]
Actual type: [forall a. a -> a]
- In the first argument of `head', namely `foo'
- In the first argument of `(:) ::
+ In the first argument of ‛head’, namely ‛foo’
+ In the first argument of ‛(:) ::
(forall a. a -> a)
- -> [forall a. a -> a] -> [forall a. a -> a]', namely
- `(head foo)'
+ -> [forall a. a -> a] -> [forall a. a -> a]’, namely
+ ‛(head foo)’
In the expression:
((:) ::
(forall a. a -> a) -> [forall a. a -> a] -> [forall a. a -> a])
(head foo) foo
tc211.hs:70:9:
- Couldn't match type `forall a7. a7 -> a7' with `a6 -> a6'
+ Couldn't match type ‛forall a7. a7 -> a7’ with ‛a6 -> a6’
Expected type: List (forall a. a -> a)
-> (forall a. a -> a) -> a6 -> a6
Actual type: List (forall a. a -> a)
@@ -27,7 +27,7 @@ tc211.hs:70:9:
List (forall a. a -> a)
-> (forall a. a -> a) -> (forall a. a -> a))
xs1 (\ x -> x)
- In an equation for `bar4':
+ In an equation for ‛bar4’:
bar4
= (foo2 ::
List (forall a. a -> a)