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

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