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/T7194.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/T7194.stderr')
-rw-r--r-- | testsuite/tests/indexed-types/should_fail/T7194.stderr | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/testsuite/tests/indexed-types/should_fail/T7194.stderr b/testsuite/tests/indexed-types/should_fail/T7194.stderr index 385765df6f..a575dde330 100644 --- a/testsuite/tests/indexed-types/should_fail/T7194.stderr +++ b/testsuite/tests/indexed-types/should_fail/T7194.stderr @@ -1,7 +1,7 @@ T7194.hs:18:35: - Couldn't match expected type `b0' with actual type `F a' - because type variable `a' would escape its scope + Couldn't match expected type ‛b0’ with actual type ‛F a’ + because type variable ‛a’ would escape its scope This (rigid, skolem) type variable is bound by the type signature for g :: C (F a) => a -> Int at T7194.hs:17:23-41 @@ -9,6 +9,6 @@ T7194.hs:18:35: x :: b0 (bound at T7194.hs:17:9) g :: a -> Int (bound at T7194.hs:18:18) y :: a (bound at T7194.hs:18:20) - In the return type of a call of `foo' + In the return type of a call of ‛foo’ In the expression: foo y - In the first argument of `length', namely `[x, foo y]' + In the first argument of ‛length’, namely ‛[x, foo y]’ |