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

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