diff options
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]’ |