diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2012-01-12 15:13:32 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2012-01-12 15:13:32 +0000 |
| commit | 4c68c2f97b25d58e7e1be03891ceff90d48d0936 (patch) | |
| tree | 7ca2f8ab2b81edad9ec151fe900c373da1ff31e6 /testsuite/tests/indexed-types/should_fail/T1897b.stderr | |
| parent | ad0e1c9c577ee87a5da8fcf8530ddede06e94de4 (diff) | |
| download | haskell-4c68c2f97b25d58e7e1be03891ceff90d48d0936.tar.gz | |
Lots of error message wibbling, following the
major TcErrors refactoring
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, 15 insertions, 13 deletions
diff --git a/testsuite/tests/indexed-types/should_fail/T1897b.stderr b/testsuite/tests/indexed-types/should_fail/T1897b.stderr index f2f5250b0b..ff0667af2d 100644 --- a/testsuite/tests/indexed-types/should_fail/T1897b.stderr +++ b/testsuite/tests/indexed-types/should_fail/T1897b.stderr @@ -1,13 +1,15 @@ - -T1897b.hs:16:1: - Could not deduce (Depend a ~ Depend a0) - 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 - Expected type: [Depend a] -> Bool - Actual type: [Depend a0] -> Bool - When checking that `isValid' - has the inferred type `forall a1. Bug a1 => [Depend a1] -> Bool' - Probable cause: the inferred type is ambiguous +
+T1897b.hs:16:1:
+ Could not deduce (Depend a ~ Depend a0)
+ 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
+ Possible fix: add a type signature that fixes these type variable(s)
+ 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
|