Add kind equalities to GHC.
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail014.stderr
1
2 tcfail014.hs:5:33: error:
3     • Occurs check: cannot construct the infinite type: r8 ~ r8 -> r7
4     • In the first argument of ‘z’, namely ‘z’
5       In the expression: z z
6     • Relevant bindings include
7         z :: r8 -> r7 (bound at tcfail014.hs:5:27)
8         h :: (r8 -> r7) -> r7 (bound at tcfail014.hs:5:25)