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

   1 Typechecked:
   2 AbsBinds [ot9] [] [(f.t2, ShouldSucceed.f), (g.t3, ShouldSucceed.g)]
   3     {- rec -}
   4     f.t2 :: Bool -> ot9 -> ot9
   5     f.t2 x.r57 y.r58
   6                  = if x.r57 then y.r58 else g.t3 y.r58 x.r57
   7     g.t3 :: ot9 -> Bool -> ot9
   8     g.t3 y.r60 x.r59
   9                  = if x.r59 then y.r60 else f.t2 x.r59 y.r60
  10 AbsBinds [] [] [(h.t11, ShouldSucceed.h)]
  11     {- nonrec -}
  12     h.t11 :: Bool -> Bool
  13     h.t11
  14         x.r56 = (ShouldSucceed.f Bool) ((ShouldSucceed.f Bool) True x.r56) x.r56
  15