blob: e7dadd4a6c50a485da17f8c09c85380a2dd6a834 (
plain)
1
2
3
4
5
6
7
8
9
|
tcfail097.hs:5:6:
Could not deduce (Eq a0) arising from the ambiguity check for `f'
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: forall a. Eq a => Int -> Int
In the type signature for `f': f :: Eq a => Int -> Int
|