ghc/tests/typecheck/should_fail/tcfail014.stderr

   1
   2 tcfail014.hs:5: Cannot construct the infinite type (occur check)
   3                     `oaF6' = `oaF6 -> oaF8'
   4     Expected: `oaF6 -> oaF8'
   5     Inferred: `oaF6'
   6     In the first argument of `z', namely `z'
   7     In an equation for function `h': `h z = z z'
   8     In an equation for function `g':
   9         `g y
  10            = h + 2
  11            where
  12                h z = z z'
  13
  14 tcfail014.hs:5: No instance for: `Num (taFs -> taFu)'
  15     arising from use of `+' at tcfail014.hs:5
  16
  17 Compilation had errors