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

   1
   2
   3 --================================================================================
   4 Typechecked:
   5 {- nonrec -}
   6 {- rec -}
   7 AbsBinds [t{-ann-}] [] [([t{-ann-}], f{-r3j,x-}, f_an8)]
   8     f_an8
   9         x_r3g y_r3i
  10                 =   if x_r3g then y_r3i else f_an8 x_r3g y_r3i
  11 {- nonrec -}
  12 {- nonrec -}
  13 AbsBinds [] [] [([], g{-r3k,x-}, g_anp)]
  14     g_anp
  15         x_r3e   =   f{-r3j,x-}
  16                         PrelBase.Bool{-34,p-} f{-r3j,x-}
  17                                                   PrelBase.Bool{-34,p-} PrelBase.True{-5E,p-}{i}
  18                                                                         x_r3e
  19                                               x_r3e
  20 {- nonrec -}
  21 ghc: module version changed to 1; reason: no old .hi file
  22 _interface_ ShouldSucceed 1
  23 _instance_modules_
  24 ArrBase IO PrelNum
  25 _exports_
  26 ShouldSucceed f g;
  27 _declarations_
  28 1 f _:_ _forall_ [a] => PrelBase.Bool -> a -> a ;;
  29 1 g _:_ PrelBase.Bool -> PrelBase.Bool ;;