ghc/tests/typecheck/should_fail/tcfail002.stderr

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