ghc/tests/typecheck/should_fail/tcfail002.stderr

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