ghc/tests/typecheck/should_compile/tc026.stderr

   1 ==================== Typechecked ====================
   2 AbsBinds [takR] [] [([takR], f{-r3i,x-}, f_akB)]
   3     f_akB x_r3g y_r3h = if x_r3g then y_r3h else f_akB x_r3g y_r3h
   4 AbsBinds [] [] [([], g{-r3j,x-}, g_akT)]
   5     g_akT x_r3e
   6           = f{-r3i,x-} PrelBase.Bool{-34,W-} f{-r3i,x-}
   7                                                  PrelBase.Bool{-34,W-} PrelBase.True{-5E,w-}{i}
   8                                                                        x_r3e
   9                                              x_r3e
  10
  11 ghc: module version changed to 1; reason: no old .hi file
  12 _interface_ ShouldSucceed 1
  13 _instance_modules_
  14 ArrBase IO PrelNum
  15 _exports_
  16 ShouldSucceed f g;
  17 _declarations_
  18 1 f _:_ _forall_ [ta] => PrelBase.Bool -> ta -> ta ;;
  19 1 g _:_ PrelBase.Bool -> PrelBase.Bool ;;