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, 2 insertions, 4 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T8030.stderr b/testsuite/tests/typecheck/should_fail/T8030.stderr index 24c9d59ff7..c6c05f8cf1 100644 --- a/testsuite/tests/typecheck/should_fail/T8030.stderr +++ b/testsuite/tests/typecheck/should_fail/T8030.stderr @@ -3,8 +3,7 @@ T8030.hs:9:3: error: • Couldn't match expected type ‘Pr a’ with actual type ‘Pr a0’ NB: ‘Pr’ is a type function, and may not be injective The type variable ‘a0’ is ambiguous - • In the ambiguity check for the type signature for ‘op1’: - op1 :: forall (k :: BOX) (a :: k). C a => Pr a + • 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 @@ -16,8 +15,7 @@ T8030.hs:10:3: error: The type variable ‘a0’ is ambiguous Expected type: Pr a -> Pr a -> Pr a Actual type: Pr a0 -> Pr a0 -> Pr a0 - • In the ambiguity check for the type signature for ‘op2’: - op2 :: forall (k :: BOX) (a :: k). C a => Pr a -> Pr a -> Pr a + • 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 |