blob: 146b0146eb656bb40bee00e3e0b325cf6c173d76 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
NamedExtraConstraintsWildcard.hs:5:1: error:
• Could not deduce: w0
from the context: (Eq a, w)
bound by the inferred type for ‘foo’:
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 {w :: Constraint}. (Eq a, w) => a -> a
|
