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

   1 Typechecked:
   2 fromInt.t16 = int2Integer
   3 lit.t10 = fromInt.t16 (MkInt 2#)
   4 AbsBinds [tt12] [d.Num.t14] [(f.t1, ShouldSucceed.f)]
   5     (d.Eq.t15, sdsel.Num.Eq tt12 d.Num.t14)
   6     (fromInteger.t8, fromInteger tt12 d.Num.t14)
   7     (==.t6, (==) tt12 d.Eq.t15)
   8     {- nonrec -}
   9     f.t1 :: [tt12] -> [tt12]
  10     f.t1 (x.r54 : xs.r55)
  11                  = if x.r54 ==.t6 (fromInteger.t8 lit.t10) then
  12                        xs.r55
  13                    else
  14                        [] (tt12)
  15