testsuite/tests/typecheck/should_fail/tcfail002.stderr


1
2
3
4
5
6
7
8


tcfail002.hs:4:7:
    Occurs check: cannot construct the infinite type: t ~ [t]
    Relevant bindings include
      c :: [t] -> t (bound at tcfail002.hs:3:1)
      z :: [t] (bound at tcfail002.hs:4:3)
    In the expression: z
    In an equation for ‛c’: c z = z