ghc/tests/typecheck/should_compile/tc027.stderr

   1 ==================== Typechecked ====================
   2 AbsBinds
   3 [tala]
   4 []
   5 [([tala], f{-r3n,x-}, f_akG), ([tala], g{-r3m,x-}, g_akH)]
   6     f_akG x_r3h y_r3i = if x_r3h then y_r3i else g_akH y_r3i x_r3h
   7     g_akH y_r3k x_r3l = if x_r3l then y_r3k else f_akG x_r3l y_r3k
   8 AbsBinds [] [] [([], h{-r3o,x-}, h_alc)]
   9     h_alc x_r3f
  10           = f{-r3n,x-} PrelBase.Bool{-34,W-} f{-r3n,x-}
  11                                                  PrelBase.Bool{-34,W-} PrelBase.True{-5E,w-}{i}
  12                                                                        x_r3f
  13                                              x_r3f
  14
  15
  16 NOTE: Simplifier still going after 4 iterations; bailing out.
  17 ghc: module version changed to 1; reason: no old .hi file
  18 _interface_ ShouldSucceed 1
  19 _instance_modules_
  20 ArrBase IO PrelNum
  21 _exports_
  22 ShouldSucceed f g h;
  23 _declarations_
  24 1 f _:_ _forall_ [ta] => PrelBase.Bool -> ta -> ta ;;
  25 1 g _:_ _forall_ [ta] => ta -> PrelBase.Bool -> ta ;;
  26 1 h _:_ PrelBase.Bool -> PrelBase.Bool ;;