blob: 967b172bb9b7c065ebbf556bd73fd1e22d12f50c (
plain)
1
2
3
4
5
6
|
tcfail097.hs:5:1:
Ambiguous constraint `Eq a'
At least one of the forall'd type variables mentioned by the constraint
must be reachable from the type after the '=>'
In the type signature for `f': f :: Eq a => Int -> Int
|