diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T9196.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/T9196.stderr | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T9196.stderr b/testsuite/tests/typecheck/should_fail/T9196.stderr index f843c70929..d6ca149f23 100644 --- a/testsuite/tests/typecheck/should_fail/T9196.stderr +++ b/testsuite/tests/typecheck/should_fail/T9196.stderr @@ -2,11 +2,11 @@ T9196.hs:4:6: error: • Illegal polymorphic type: forall a1. Eq a1 A constraint must be a monotype - • In the type signature: - f :: (forall a. Eq a) => a -> a + Perhaps you intended to use QuantifiedConstraints + • In the type signature: f :: (forall a. Eq a) => a -> a T9196.hs:7:6: error: • Illegal qualified type: Eq a => Ord a A constraint must be a monotype - • In the type signature: - g :: (Eq a => Ord a) => a -> a + Perhaps you intended to use QuantifiedConstraints + • In the type signature: g :: (Eq a => Ord a) => a -> a |