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/indexed-types/should_fail/T4272.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/indexed-types/should_fail/T4272.stderr')
| -rw-r--r-- | testsuite/tests/indexed-types/should_fail/T4272.stderr | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/testsuite/tests/indexed-types/should_fail/T4272.stderr b/testsuite/tests/indexed-types/should_fail/T4272.stderr index a4e952556b..f3dcdbc13d 100644 --- a/testsuite/tests/indexed-types/should_fail/T4272.stderr +++ b/testsuite/tests/indexed-types/should_fail/T4272.stderr @@ -5,7 +5,7 @@ T4272.hs:15:26: bound by the type signature for laws :: TermLike a => TermFamily a a -> b at T4272.hs:14:9-53 - `a' is a rigid type variable bound by + ‛a’ is a rigid type variable bound by the type signature for laws :: TermLike a => TermFamily a a -> b at T4272.hs:14:16 Expected type: TermFamily a (TermFamily a a) @@ -13,8 +13,8 @@ T4272.hs:15:26: Relevant bindings include laws :: TermFamily a a -> b (bound at T4272.hs:15:1) t :: TermFamily a a (bound at T4272.hs:15:6) - In the first argument of `terms', namely - `(undefined :: TermFamily a a)' - In the second argument of `prune', namely - `(terms (undefined :: TermFamily a a))' + In the first argument of ‛terms’, namely + ‛(undefined :: TermFamily a a)’ + In the second argument of ‛prune’, namely + ‛(terms (undefined :: TermFamily a a))’ In the expression: prune t (terms (undefined :: TermFamily a a)) |