diff options
Diffstat (limited to 'testsuite/tests/partial-sigs/should_fail/NamedExtraConstraintsWildcard.stderr')
-rw-r--r-- | testsuite/tests/partial-sigs/should_fail/NamedExtraConstraintsWildcard.stderr | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/testsuite/tests/partial-sigs/should_fail/NamedExtraConstraintsWildcard.stderr b/testsuite/tests/partial-sigs/should_fail/NamedExtraConstraintsWildcard.stderr index 84d61eda91..146b0146eb 100644 --- a/testsuite/tests/partial-sigs/should_fail/NamedExtraConstraintsWildcard.stderr +++ b/testsuite/tests/partial-sigs/should_fail/NamedExtraConstraintsWildcard.stderr @@ -1,11 +1,11 @@ NamedExtraConstraintsWildcard.hs:5:1: error: - • Could not deduce: _0 - from the context: (Eq a, _) + • Could not deduce: w0 + from the context: (Eq a, w) bound by the inferred type for ‘foo’: - forall a {_ :: Constraint}. (Eq a, _) => a -> a + forall a {w :: Constraint}. (Eq a, w) => a -> a at NamedExtraConstraintsWildcard.hs:5:1-15 • In the ambiguity check for the inferred type for ‘foo’ To defer the ambiguity check to use sites, enable AllowAmbiguousTypes When checking the inferred type - foo :: forall a {_ :: Constraint}. (Eq a, _) => a -> a + foo :: forall a {w :: Constraint}. (Eq a, w) => a -> a |