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

   1 Typechecked:
   2 AbsBinds [ot6, ot4, ot5] [] [(s.t1, ShouldSucceed.s)]
   3     {- nonrec -}
   4     s.t1 :: (ot4 -> ot6 -> ot5) -> (ot4 -> ot6) -> ot4 -> ot5
   5     s.t1 f.r56 g.r57 x.r58
   6                  = f.r56 x.r58 (g.r57 x.r58)
   7 AbsBinds [ot10, ot9] [] [(k.t8, ShouldSucceed.k)]
   8     {- nonrec -}
   9     k.t8 :: ot9 -> ot10 -> ot9
  10     k.t8 x.r59 y.r60
  11                  = x.r59
  12 AbsBinds [tt19] [] [(main.t12, ShouldSucceed.main)]
  13     {- nonrec -}
  14     main.t12 :: tt19 -> tt19
  15     main.t12
  16         = (ShouldSucceed.s [tt18 -> tt19, tt19, tt19])
  17               (ShouldSucceed.k [tt18 -> tt19, tt19])
  18               (ShouldSucceed.k [tt18, tt19])
  19