diff options
Diffstat (limited to 'testsuite/tests/indexed-types/should_fail/T1897b.stderr')
-rw-r--r-- | testsuite/tests/indexed-types/should_fail/T1897b.stderr | 28 |
1 files changed, 14 insertions, 14 deletions
diff --git a/testsuite/tests/indexed-types/should_fail/T1897b.stderr b/testsuite/tests/indexed-types/should_fail/T1897b.stderr index 32bb3cff9f..5bb6ef1650 100644 --- a/testsuite/tests/indexed-types/should_fail/T1897b.stderr +++ b/testsuite/tests/indexed-types/should_fail/T1897b.stderr @@ -1,14 +1,14 @@ -
-T1897b.hs:16:1:
- Could not deduce (Depend a0 ~ Depend a)
- from the context (Bug a)
- bound by the inferred type for `isValid':
- Bug a => [Depend a] -> Bool
- at T1897b.hs:16:1-41
- NB: `Depend' is a type function, and may not be injective
- The type variable `a0' is ambiguous
- Expected type: [Depend a] -> Bool
- Actual type: [Depend a0] -> Bool
- When checking that `isValid'
- has the inferred type `forall a. Bug a => [Depend a] -> Bool'
- Probable cause: the inferred type is ambiguous
+ +T1897b.hs:16:1: + Could not deduce (Depend a0 ~ Depend a) + from the context (Bug a) + bound by the inferred type for ‛isValid’: + Bug a => [Depend a] -> Bool + at T1897b.hs:16:1-41 + NB: ‛Depend’ is a type function, and may not be injective + The type variable ‛a0’ is ambiguous + Expected type: [Depend a] -> Bool + Actual type: [Depend a0] -> Bool + When checking that ‛isValid’ + has the inferred type ‛forall a. Bug a => [Depend a] -> Bool’ + Probable cause: the inferred type is ambiguous |