summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/tcfail097.hs
blob: 4bcc798b98d5913601e5bd01c7fbcc15f388a4cc (plain)
1
2
3
4
5
6
module ShouldFail where

-- !!! Ambiguous constraint in type signature

f :: Eq a => Int -> Int
f x = x