ghc/tests/typecheck/should_fail/tcfail002.stderr

   1
   2 tcfail002.hs:4: Cannot construct the infinite type (occur check)
   3                     `talR' = `[talR]'
   4     Expected: `[talR]'
   5     Inferred: `talR'
   6     In an equation for function `c': `c z = z'
   7
   8 Compilation had errors