ghc/compiler/tests/typecheck/should_fail/tcfail014.stderr

   1
   2 tcfail014.hs:5: Cannot construct the infinite type (occur check)
   3                     `o{-aHw-}' = `o{-aHw-} -> o{-aIe-}'
   4     Expected: `o{-aHw-}'
   5     Inferred: `o{-aHw-} -> o{-aIe-}'
   6     In the first argument of `z', namely
   7         `z'
   8     In an equation for function `h':
   9         `h z       =   z   z'
  10     In an equation for function `g':
  11         `g y       =   h PrelBase.+ 2
  12                    where
  13                        h   z       =   z   z'
  14
  15 tcfail014.hs:5: No instance for:
  16                     `PrelBase.Num (t{-aHZ-} -> t{-aI0-})'
  17     tcfail014.hs:5:
  18         at a use of an overloaded identifier: `PrelBase.+'
  19
  20
  21 Compilation had errors