ghc/compiler/tests/typecheck/should_succeed/tc024.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.r57 g.r58 x.r59
   6                  = f.r57 x.r59 (g.r58 x.r59)
   7 AbsBinds [ot10, ot9] [] [(k.t8, ShouldSucceed.k)]
   8     {- nonrec -}
   9     k.t8 :: ot9 -> ot10 -> ot9
  10     k.t8 x.r60 y.r61
  11                  = x.r60
  12 AbsBinds [tt20] [] [(main.t12, ShouldSucceed.main)]
  13     {- nonrec -}
  14     main.t12 :: tt20 -> tt20
  15     main.t12
  16         x.r56 = (ShouldSucceed.s [tt19 -> tt20, tt20, tt20])
  17                     (ShouldSucceed.k [tt19 -> tt20, tt20])
  18                     (ShouldSucceed.k [tt19, tt20])
  19                     x.r56
  20