diff options
Diffstat (limited to 'testsuite/tests/indexed-types/should_fail/NotRelaxedExamples.stderr')
-rw-r--r-- | testsuite/tests/indexed-types/should_fail/NotRelaxedExamples.stderr | 36 |
1 files changed, 18 insertions, 18 deletions
diff --git a/testsuite/tests/indexed-types/should_fail/NotRelaxedExamples.stderr b/testsuite/tests/indexed-types/should_fail/NotRelaxedExamples.stderr index d08570a06b..e56025a908 100644 --- a/testsuite/tests/indexed-types/should_fail/NotRelaxedExamples.stderr +++ b/testsuite/tests/indexed-types/should_fail/NotRelaxedExamples.stderr @@ -1,18 +1,18 @@ -
-NotRelaxedExamples.hs:9:15:
- Nested type family application
- in the type family application: F1 (F1 Char)
- (Use -XUndecidableInstances to permit this)
- In the type instance declaration for `F1'
-
-NotRelaxedExamples.hs:10:15:
- Application is no smaller than the instance head
- in the type family application: F2 [x]
- (Use -XUndecidableInstances to permit this)
- In the type instance declaration for `F2'
-
-NotRelaxedExamples.hs:11:15:
- Application is no smaller than the instance head
- in the type family application: F3 [Char]
- (Use -XUndecidableInstances to permit this)
- In the type instance declaration for `F3'
+ +NotRelaxedExamples.hs:9:15: + Nested type family application + in the type family application: F1 (F1 Char) + (Use -XUndecidableInstances to permit this) + In the type instance declaration for ‛F1’ + +NotRelaxedExamples.hs:10:15: + Application is no smaller than the instance head + in the type family application: F2 [x] + (Use -XUndecidableInstances to permit this) + In the type instance declaration for ‛F2’ + +NotRelaxedExamples.hs:11:15: + Application is no smaller than the instance head + in the type family application: F3 [Char] + (Use -XUndecidableInstances to permit this) + In the type instance declaration for ‛F3’ |