Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail097.hs
1 module ShouldFail where
2
3 -- !!! Ambiguous constraint in type signature
4
5 f :: Eq a => Int -> Int
6 f x = x