diff options
Diffstat (limited to 'testsuite/tests/partial-sigs/should_fail/NamedWildcardsNotInMonotype.stderr')
| -rw-r--r-- | testsuite/tests/partial-sigs/should_fail/NamedWildcardsNotInMonotype.stderr | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/testsuite/tests/partial-sigs/should_fail/NamedWildcardsNotInMonotype.stderr b/testsuite/tests/partial-sigs/should_fail/NamedWildcardsNotInMonotype.stderr index 7d7320f0fb..89b71e5959 100644 --- a/testsuite/tests/partial-sigs/should_fail/NamedWildcardsNotInMonotype.stderr +++ b/testsuite/tests/partial-sigs/should_fail/NamedWildcardsNotInMonotype.stderr @@ -1,12 +1,12 @@ NamedWildcardsNotInMonotype.hs:5:1: error: - • Could not deduce (Eq w0) - from the context: (Show a, Eq w, Eq a) + • Could not deduce (Eq _0) + from the context: (Show a, Eq _, Eq a) bound by the inferred type for ‘foo’: - forall a w. (Show a, Eq w, Eq a) => a -> a -> String + forall a _. (Show a, Eq _, Eq a) => a -> a -> String at NamedWildcardsNotInMonotype.hs:5:1-33 - The type variable ‘w0’ is ambiguous + The type variable ‘_0’ is ambiguous • 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 w. (Show a, Eq w, Eq a) => a -> a -> String + foo :: forall a _. (Show a, Eq _, Eq a) => a -> a -> String |