diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T8030.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/T8030.stderr | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T8030.stderr b/testsuite/tests/typecheck/should_fail/T8030.stderr index 623eabbdbc..e3a3b6a40b 100644 --- a/testsuite/tests/typecheck/should_fail/T8030.stderr +++ b/testsuite/tests/typecheck/should_fail/T8030.stderr @@ -1,22 +1,22 @@ -T8030.hs:9:3: error: +T8030.hs:9:3: error: [GHC-83865] • Couldn't match expected type: Pr a with actual type: Pr a0 - NB: ‘Pr’ is a non-injective type family - The type variable ‘a0’ is ambiguous + NB: ‘Pr’ is a non-injective type family + The type variable ‘a0’ is ambiguous • In the ambiguity check for ‘op1’ To defer the ambiguity check to use sites, enable AllowAmbiguousTypes When checking the class method: op1 :: forall k (a :: k). C a => Pr a In the class declaration for ‘C’ -T8030.hs:10:3: error: +T8030.hs:10:3: error: [GHC-83865] • Couldn't match type: Pr a0 with: Pr a Expected: Pr a -> Pr a -> Pr a Actual: Pr a0 -> Pr a0 -> Pr a0 - NB: ‘Pr’ is a non-injective type family - The type variable ‘a0’ is ambiguous + NB: ‘Pr’ is a non-injective type family + The type variable ‘a0’ is ambiguous • In the ambiguity check for ‘op2’ To defer the ambiguity check to use sites, enable AllowAmbiguousTypes When checking the class method: |