diff options
Diffstat (limited to 'testsuite/tests/indexed-types/should_fail/T1900.stderr')
| -rw-r--r-- | testsuite/tests/indexed-types/should_fail/T1900.stderr | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/testsuite/tests/indexed-types/should_fail/T1900.stderr b/testsuite/tests/indexed-types/should_fail/T1900.stderr index bb4a160d49..8b245af562 100644 --- a/testsuite/tests/indexed-types/should_fail/T1900.stderr +++ b/testsuite/tests/indexed-types/should_fail/T1900.stderr @@ -1,11 +1,11 @@ -T1900.hs:8:3: error: +T1900.hs:8:3: error: [GHC-83865] • Couldn't match type: Depend s0 with: Depend s Expected: Depend s -> Depend s Actual: Depend s0 -> Depend s0 - NB: ‘Depend’ is a non-injective type family - The type variable ‘s0’ is ambiguous + NB: ‘Depend’ is a non-injective type family + The type variable ‘s0’ is ambiguous • In the ambiguity check for ‘trans’ To defer the ambiguity check to use sites, enable AllowAmbiguousTypes When checking the class method: |