diff options
Diffstat (limited to 'testsuite/tests/indexed-types/should_fail/T1897b.stderr')
| -rw-r--r-- | testsuite/tests/indexed-types/should_fail/T1897b.stderr | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/testsuite/tests/indexed-types/should_fail/T1897b.stderr b/testsuite/tests/indexed-types/should_fail/T1897b.stderr index 936aa26924..459f6c8a17 100644 --- a/testsuite/tests/indexed-types/should_fail/T1897b.stderr +++ b/testsuite/tests/indexed-types/should_fail/T1897b.stderr @@ -1,12 +1,13 @@ -T1897b.hs:16:1: +T1897b.hs:16:1: error: Couldn't match type ‘Depend a’ with ‘Depend a0’ NB: ‘Depend’ is a type function, and may not be injective The type variable ‘a0’ is ambiguous Expected type: t (Depend a) -> Bool Actual type: t (Depend a0) -> Bool - When checking that ‘isValid’ has the inferred type + In the ambiguity check for the inferred type for ‘isValid’ + To defer the ambiguity check to use sites, enable AllowAmbiguousTypes + When checking the inferred type isValid :: forall a (t :: * -> *). (Foldable t, Bug a) => t (Depend a) -> Bool - Probable cause: the inferred type is ambiguous |