Merge branch 'master' of http://darcs.haskell.org//testsuite
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail097.stderr
1
2 tcfail097.hs:5:6:
3     Ambiguous constraint `Eq a'
4       At least one of the forall'd type variables mentioned by the constraint
5       must be reachable from the type after the '=>'
6     In the type signature for `f': f :: Eq a => Int -> Int