ghc/tests/typecheck/should_fail/tcfail014.stderr

   1
   2 tcfail014.hs:5:
   3     Occurs check: cannot construct the infinite type: t = t -> t1
   4         Expected type: t
   5         Inferred type: t -> t1
   6     In the first argument of `z', namely `z'
   7     In the right-hand side of an equation for `h': z z
   8
   9 Compilation had errors
  10