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

   1 Typechecked:
   2 d.Num.t19 = dfun.Num.Integer
   3 d.Num.t22 = dfun.Num.Integer
   4 fromInt.t18 = fromInt tt4 d.Num.t19
   5 lit.t16 = fromInt.t18 (MkInt 1#)
   6 d.Num.t20 = d.Num.t19
   7 (+.t14) = (+) tt4 d.Num.t20
   8 fromInt.t21 = fromInt tt6 d.Num.t22
   9 lit.t12 = fromInt.t21 (MkInt 2#)
  10 lit.t10 = lit.t16
  11 AbsBinds [] [] [(al.t2, ShouldSucceed.al), (am.t3, ShouldSucceed.am)]
  12     {- nonrec -}
  13     (al.t2 : am.t3) :: [tt4]
  14     (al.t2 : am.t3)
  15         = [ y.r55 +.t14 lit.t16 |
  16               (y.r55, z.r56) <- [(lit.t10, lit.t12)] ((tt4, tt6)) ]
  17