ghc/tests/typecheck/should_fail/tcfail014.stderr

   1
   2 tcfail014.hs:5:
   3     Occurs check: cannot construct the infinite type: aND = aND -> aNF
   4     Expected: aND
   5     Inferred: aND -> aNF
   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