Fix incorrect ambiguity error on identically-named data constructors
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail014.stderr
1
2 tcfail014.hs:5:33: error:
3     • Occurs check: cannot construct the infinite type: t4 ~ t4 -> t5
4     • In the first argument of ‘z’, namely ‘z’
5       In the expression: z z
6       In an equation for ‘h’: h z = z z
7     • Relevant bindings include
8         z :: t4 -> t5 (bound at tcfail014.hs:5:27)
9         h :: (t4 -> t5) -> t5 (bound at tcfail014.hs:5:25)