ghc/compiler/tests/typecheck/should_fail/tcfail002.stderr

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