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

   1 Typechecked:
   2 d.Num.t7 = dfun.Num.Integer
   3 fromInt.t6 = fromInt tt4 d.Num.t7
   4 lit.t5 = fromInt.t6 (MkInt 2#)
   5 fromInt.t8 = fromInt.t6
   6 lit.t3 = fromInt.t8 (MkInt 1#)
   7 AbsBinds [] [] [(b.t1, Main.b)]
   8     {- nonrec -}
   9     b.t1 :: tt4
  10     b.t1 = if True then lit.t3 else lit.t5
  11