diff options
Diffstat (limited to 'testsuite/tests/indexed-types/should_fail/TyFamUndec.stderr')
| -rw-r--r-- | testsuite/tests/indexed-types/should_fail/TyFamUndec.stderr | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/testsuite/tests/indexed-types/should_fail/TyFamUndec.stderr b/testsuite/tests/indexed-types/should_fail/TyFamUndec.stderr index fef47b534a..da77e08024 100644 --- a/testsuite/tests/indexed-types/should_fail/TyFamUndec.stderr +++ b/testsuite/tests/indexed-types/should_fail/TyFamUndec.stderr @@ -2,17 +2,17 @@ TyFamUndec.hs:6:15: Variable ‛b’ occurs more often than in the instance head in the type family application: T (b, b) - (Use -XUndecidableInstances to permit this) + (Use UndecidableInstances to permit this) 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 -XUndecidableInstances to permit this) + (Use UndecidableInstances to permit this) 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 -XUndecidableInstances to permit this) + (Use UndecidableInstances to permit this) In the type instance declaration for ‛T’ |