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

   1 Typechecked:
   2 AbsBinds [tt8, tt4] [] [(map.t1, ShouldSucceed.map)]
   3     {- rec -}
   4     map.t1 :: (tt8 -> tt4) -> [tt8] -> [tt4]
   5     map.t1
   6         f.r75 [] = [] (tt4)
   7     map.t1
   8         f.r76 (x.r77 : xs.r78)
   9                 = ((:) tt4) (f.r76 x.r77) (map.t1 f.r76 xs.r78)
  10 AbsBinds [tt17, tt18] [] [(snd.t14, ShouldSucceed.snd)]
  11     {- nonrec -}
  12     snd.t14 :: (tt17, tt18) -> tt18
  13     snd.t14
  14         (f.r79, s.r80)
  15                 = s.r80
  16 AbsBinds [a.t21, v.t22] [] [(ranOAL.t20, ShouldSucceed.ranOAL)]
  17     {- nonrec -}
  18     ranOAL.t20 :: ShouldSucceed.OL (a.t21, v.t22) -> [v.t22]
  19     ranOAL.t20
  20         (ShouldSucceed.MkOL xs.r74)
  21                 = (ShouldSucceed.map [(a.t21, v.t22), v.t22])
  22                       (ShouldSucceed.snd [a.t21, v.t22]) xs.r74
  23 AbsBinds [a.t38, a.t36, b.t37] [] [(ranAFE.t30, ShouldSucceed.ranAFE)]
  24     {- nonrec -}
  25     ranAFE.t30 ::
  26         ShouldSucceed.AFE a.t38 a.t36 b.t37 -> [ShouldSucceed.FG a.t36 b.t37]
  27     ranAFE.t30
  28         (ShouldSucceed.MkAFE nfs.r81)
  29                 = (ShouldSucceed.ranOAL [a.t38, ShouldSucceed.FG a.t36 b.t37])
  30                       nfs.r81
  31