ghc/tests/typecheck/should_fail/tcfail002.stderr

   1
   2 tcfail002.hs:4:
   3     Occurs check: cannot construct the infinite type: t = [t]
   4         Expected type: t
   5         Inferred type: [t]
   6     in the definition of function `c': z