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

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