ghc/tests/typecheck/should_fail/tcfail014.stderr

   1
   2 tcfail014.hs:5: Cannot construct the infinite type (occur check)
   3                     `oaCj' = `oaCj -> oaCi'
   4     Expected: `oaCj -> oaCi'
   5     Inferred: `oaCj'
   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 (taCG -> taCI)'
  22     arising from use of `PrelBase.+' at tcfail014.hs:5
  23
  24
  25 Compilation had errors