blob: b5be488b409ac67bad975317246979b3c7d4a3e0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
tcfail097.hs:5:6:
Could not deduce (Eq a0)
from the context (Eq a)
bound by the type signature for: f :: Eq a => Int -> Int
at tcfail097.hs:5:6-23
The type variable ‘a0’ is ambiguous
In the ambiguity check for the type signature for ‘f’:
f :: forall a. Eq a => Int -> Int
To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
In the type signature for ‘f’: f :: Eq a => Int -> Int
|