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

   1 Typechecked:
   2 AbsBinds [tt4] [d.Num.t7] [(n.t1, ShouldSucceed.n)]
   3     (fromInt.t6, fromInt tt4 d.Num.t7)
   4     (lit.t3, fromInt.t6 (MkInt 1#))
   5     (fromInt.t8, fromInt.t6)
   6     (lit.t5, fromInt.t8 (MkInt 0#))
   7     {- nonrec -}
   8     n.t1 :: Bool -> tt4
   9     n.t1 True = lit.t3
  10     n.t1 False = lit.t5
  11