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