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

   1 Typechecked:
   2 d.Num.t8 = dfun.Num.Integer
   3 fromInt.t7 = fromInt tt0 d.Num.t8
   4 lit.t5 = fromInt.t7 (MkInt 1#)
   5 d.Num.t9 = d.Num.t8
   6 (+.t3) = (+) tt0 d.Num.t9
   7 AbsBinds [] [] [(t.t1, ShouldSucceed.t)]
   8     {- rec -}
   9     t.t1 :: tt0
  10     t.t1 = lit.t5 +.t3 t.t1
  11