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

   1 Typechecked:
   2 d.Num.t9 = dfun.Num.Integer
   3 fromInt.t8 = fromInt tt4 d.Num.t9
   4 lit.t5 = fromInt.t8 (MkInt 2#)
   5 AbsBinds [] [] [(w.t1, ShouldSucceed.w)]
   6     {- nonrec -}
   7     w.t1 :: tt4
   8     w.t1 = a.r54
   9      where
  10         AbsBinds [] [] [(y.t3, y.r55)]
  11             {- nonrec -}
  12             y.t3 :: tt4
  13             y.t3 = lit.t5
  14         {- nonrec -}
  15         AbsBinds [] [] [(a.t7, a.r54)]
  16             {- nonrec -}
  17             a.t7 :: tt4
  18             a.t7 = y.r55
  19         {- nonrec -}
  20