ghc/compiler/tests/typecheck/should_succeed/tc047.stderr

   1 Typechecked:
   2 AbsBinds [tt8, tt4] [] [(mp.t1, ShouldSucceed.mp)]
   3     {- rec -}
   4     mp.t1 :: (tt8 -> tt4) -> [tt8] -> [tt4]
   5     mp.t1
   6         f.r61 [] = [] (tt4)
   7     mp.t1
   8         f.r62 (x.r63 : xs.r64)
   9                 = ((:) tt4) (f.r62 x.r63) (mp.t1 f.r62 xs.r64)
  10 AbsBinds [tt17, tt18] [] [(sd.t14, ShouldSucceed.sd)]
  11     {- nonrec -}
  12     sd.t14 :: (tt17, tt18) -> tt18
  13     sd.t14
  14         (f.r65, s.r66)
  15                 = s.r66
  16 AbsBinds [ot21, tt29, tt30] [] [(f.t20, ShouldSucceed.f)]
  17     {- nonrec -}
  18     f.t20 :: ot21 -> [(tt29, tt30)] -> [tt30]
  19     f.t20
  20         x.r58 = ranOAL.r59 [tt29, tt30]
  21               where
  22                   AbsBinds [tt27, tt28] [] [(ranOAL.t23, ranOAL.r59)]
  23                       {- nonrec -}
  24                       ranOAL.t23 :: [(tt27, tt28)] -> [tt28]
  25                       ranOAL.t23
  26                           xs.r60 = (ShouldSucceed.mp [(tt27, tt28), tt28])
  27                                        (ShouldSucceed.sd [tt27, tt28]) xs.r60
  28                   {- nonrec -}
  29