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

   1 Typechecked:
   2 d.Num.t13 = dfun.Num.Integer
   3 fromInt.t12 = fromInt tt9 d.Num.t13
   4 lit.t10 = fromInt.t12 (MkInt 2#)
   5 d.Num.t14 = d.Num.t13
   6 (+.t8) = (+) tt9 d.Num.t14
   7 lit.t6 = lit.t10
   8 fromInt.t15 = fromInt.t12
   9 lit.t4 = fromInt.t15 (MkInt 1#)
  10 AbsBinds [] [] [(p.t1, ShouldSucceed.p)]
  11     {- nonrec -}
  12     p.t1 :: [(tt9, Bool)]
  13     p.t1 = [ (y.r54 +.t8 lit.t10, True) | y.r54 <- [lit.t4, lit.t6] (tt9) ]
  14