blob: 9fbd7c4d8732b7c64710dec20ff899747cfe12f6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
tcfail097.hs:5:6: error:
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 âfâ
To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
In the type signature: f :: Eq a => Int -> Int
|