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

   1 Typechecked:
   2 AbsBinds [tt12] [d.Num.t15] [(g.t1, ShouldSucceed.g)]
   3     (fromInt.t14, fromInt tt12 d.Num.t15)
   4     (lit.t4, fromInt.t14 (MkInt 2#))
   5     (fromInt.t16, fromInt.t14)
   6     (lit.t13, fromInt.t16 (MkInt 4#))
   7     (fromInt.t17, fromInt.t16)
   8     (lit.t11, fromInt.t17 (MkInt 3#))
   9     {- nonrec -}
  10     g.t1 :: ShouldSucceed.AList Bool -> tt12
  11     g.t1 ShouldSucceed.ANull
  12                  = lit.t4
  13     g.t1 (ShouldSucceed.ANode b.r59 (ShouldSucceed.ANode c.r60 d.r61))
  14                  | b.r59 = lit.t11
  15                  | True = lit.t13
  16