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

   1 Typechecked:
   2 AbsBinds [] [] [(g.t1, ShouldSucceed.g)]
   3     {- nonrec -}
   4     g.t1 :: Bool -> Bool
   5     g.t1 x.r54 = (f.r55 Bool) ((f.r55 Bool) True x.r54) x.r54
   6                where
   7                    AbsBinds [ot7] [] [(f.t4, f.r55)]
   8                        {- rec -}
   9                        f.t4 :: Bool -> ot7 -> ot7
  10                        f.t4 x.r56 y.r57
  11                                     = if x.r56 then y.r57 else f.t4 x.r56 y.r57
  12                    {- nonrec -}
  13