ghc/tests/typecheck/should_fail/tcfail002.stderr

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