summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/tcfail160.stderr
blob: 400b2bf5a498b2e0963da3a97e2e6f6dccbe9dd0 (plain)
1
2
3
4
5
6
7
8
9
10
11

tcfail160.hs:7:8: error:
    • Expected kind ‘* -> *’, but ‘Int’ has kind ‘*’
    • In the first argument of ‘T’, namely ‘Int’
      In the type signature: g :: T Int

tcfail160.hs:8:1: error:
    • Couldn't match expected type ‘T Int’ with actual type ‘p0 -> p0’
    • The equation(s) for ‘g’ have one argument,
      but its type ‘T Int’ has none
    • Relevant bindings include g :: T Int (bound at tcfail160.hs:8:1)