path: root/testsuite/tests/typecheck/should_fail/tcfail032.stderr-hugs

ERROR "tcfail032.hs":14 - Inferred type is not general enough
*** Expression    : x
*** Expected type : Eq a => a -> Int
*** Inferred type : Eq _5 => _5 -> Int