ghc/tests/typecheck/should_fail/tcfail002.stderr

   1
   2 tcfail002.hs:4:
   3     Occurs check: cannot construct the infinite type: amA = [amA]
   4         Expected: [amA]
   5         Inferred: amA
   6         In an equation for function `c': c z = z
   7
   8
   9 Compilation had errors