ghc/tests/typecheck/should_fail/tcfail014.stderr

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