ghc/tests/typecheck/should_fail/tcfail014.stderr

   1
   2 tcfail014.hs:5: Cannot construct the infinite type (occur check)
   3                     `oaEt' = `oaEt -> oaEv'
   4     Expected: `oaEt -> oaEv'
   5     Inferred: `oaEt'
   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 (taEP -> taER)'
  15     arising from use of `+' at tcfail014.hs:5
  16
  17 Compilation had errors