ghc/tests/typecheck/should_fail/tcfail014.stderr

   1
   2 tcfail014.hs:5: Cannot construct the infinite type (occur check)
   3                     `oaCu' = `oaCu -> oaCw'
   4     Expected: `oaCu -> oaCw'
   5     Inferred: `oaCu'
   6     In an equation for function `h': `h z = z z'
   7     In an equation for function `g':
   8         `g y
   9            = h PrelBase.+ 2
  10            where
  11                h z = z z'
  12     In an equation for function `f':
  13         `f x
  14            = g PrelBase.+ 1
  15            where
  16                g y
  17                  = h PrelBase.+ 2
  18                  where
  19                      h z = z z'
  20
  21 tcfail014.hs:5: No instance for: `PrelBase.Num (taCQ -> taCS)'
  22     arising from use of `PrelBase.+' at tcfail014.hs:5
  23
  24 Compilation had errors