path: root/testsuite/tests/typecheck/should_fail/T7697.stderr

T7697.hs:3:6:
    Expected a constraint, but ‛Int’ has kind ‛*’
    In the type signature for ‛f’: f :: Int => Int