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

   1 Typechecked:
   2 AbsBinds [a.t2] [d.Eq.t3] [(f.t1, ShouldSucceed.f)]
   3     (d.Eq.t12, d.Eq.t3)
   4     (==.t9, (==) a.t2 d.Eq.t12)
   5     {- nonrec -}
   6     f.t1 :: a.t2 -> [a.t2]
   7     f.t1 x.r55 = g.r56 x.r55
   8                where
   9                    AbsBinds [] [] [(g.t6, g.r56)]
  10                        {- nonrec -}
  11                        g.t6 :: a.t2 -> [a.t2]
  12                        g.t6 y.r57 = if y.r57 ==.t9 x.r55 then
  13                                         [] (a.t2)
  14                                     else
  15                                         [y.r57] (a.t2)
  16                    {- nonrec -}
  17