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

   1 Typechecked:
   2 AbsBinds [tt0] [] [(x.t1, ShouldSucceed.x)]
   3     {- rec -}
   4     x.t1 :: tt0
   5     x.t1 = x.t1
   6 AbsBinds [tt4, tt5] [] [(a.t3, ShouldSucceed.a)]
   7     {- nonrec -}
   8     a.t3 :: (tt4, tt5)
   9     a.t3 = (ShouldSucceed.x tt4, ShouldSucceed.x tt5)
  10 AbsBinds [ot8, tt9, tt10] [] [(f.t7, ShouldSucceed.f)]
  11     {- nonrec -}
  12     f.t7 :: ot8 -> (tt9, tt10)
  13     f.t7 x.r56 = ShouldSucceed.a [tt9, tt10]
  14