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

   1 Typechecked:
   2 AbsBinds [tt10] [d.Num.t14] [(o.t1, ShouldSucceed.o)]
   3     (fromInt.t13, fromInt tt10 d.Num.t14)
   4     (lit.t11, fromInt.t13 (MkInt 1#))
   5     (d.Num.t15, d.Num.t14)
   6     (+.t9, (+) tt10 d.Num.t15)
   7     {- nonrec -}
   8     o.t1 :: (Bool, tt10) -> tt10
   9     o.t1 (True, x.r54)
  10                  = x.r54
  11     o.t1 (False, y.r55)
  12                  = y.r55 +.t9 lit.t11
  13