ghc/tests/typecheck/should_fail/tcfail014.stderr

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