diff options
Diffstat (limited to 'testsuite/tests/indexed-types/should_fail/TyFamUndec.stderr')
| -rw-r--r-- | testsuite/tests/indexed-types/should_fail/TyFamUndec.stderr | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/testsuite/tests/indexed-types/should_fail/TyFamUndec.stderr b/testsuite/tests/indexed-types/should_fail/TyFamUndec.stderr index da77e08024..15cd757181 100644 --- a/testsuite/tests/indexed-types/should_fail/TyFamUndec.stderr +++ b/testsuite/tests/indexed-types/should_fail/TyFamUndec.stderr @@ -1,18 +1,18 @@ TyFamUndec.hs:6:15: - Variable ‛b’ occurs more often than in the instance head + Variable ‘b’ occurs more often than in the instance head in the type family application: T (b, b) (Use UndecidableInstances to permit this) - In the type instance declaration for ‛T’ + In the type instance declaration for ‘T’ TyFamUndec.hs:7:15: Application is no smaller than the instance head in the type family application: T (a, Maybe b) (Use UndecidableInstances to permit this) - In the type instance declaration for ‛T’ + In the type instance declaration for ‘T’ TyFamUndec.hs:8:15: Nested type family application in the type family application: T (a, T b) (Use UndecidableInstances to permit this) - In the type instance declaration for ‛T’ + In the type instance declaration for ‘T’ |