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

   1 Typechecked:
   2 AbsBinds [ot2] [] [(id.t1, ShouldSucceed.id)]
   3     {- nonrec -}
   4     id.t1 :: ot2 -> ot2
   5     id.t1
   6         x.r55 = x.r55
   7 AbsBinds [tt6] [] [(main.t4, ShouldSucceed.main)]
   8     {- nonrec -}
   9     main.t4 :: tt6 -> tt6
  10     main.t4 = (ShouldSucceed.id (tt6 -> tt6)) (ShouldSucceed.id tt6)
  11