diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T8030.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/T8030.stderr | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T8030.stderr b/testsuite/tests/typecheck/should_fail/T8030.stderr index c6c05f8cf1..6e902a4294 100644 --- a/testsuite/tests/typecheck/should_fail/T8030.stderr +++ b/testsuite/tests/typecheck/should_fail/T8030.stderr @@ -6,7 +6,7 @@ T8030.hs:9:3: error: • In the ambiguity check for ‘op1’ To defer the ambiguity check to use sites, enable AllowAmbiguousTypes When checking the class method: - op1 :: forall (k :: BOX) (a :: k). C a => Pr a + op1 :: forall k (a :: k). C a => Pr a In the class declaration for ‘C’ T8030.hs:10:3: error: @@ -14,9 +14,9 @@ T8030.hs:10:3: error: NB: ‘Pr’ is a type function, and may not be injective The type variable ‘a0’ is ambiguous Expected type: Pr a -> Pr a -> Pr a - Actual type: Pr a0 -> Pr a0 -> Pr a0 + Actual type: Pr a0 -> Pr a0 -> Pr a0 • In the ambiguity check for ‘op2’ To defer the ambiguity check to use sites, enable AllowAmbiguousTypes When checking the class method: - op2 :: forall (k :: BOX) (a :: k). C a => Pr a -> Pr a -> Pr a + op2 :: forall k (a :: k). C a => Pr a -> Pr a -> Pr a In the class declaration for ‘C’ |