ghc/tests/typecheck/should_compile/tc004.stderr

   1 ==================== Typechecked ====================
   2 AbsBinds [] [] [([], f{-r3e,x-}, f_aky)]
   3     f_aky x_r3d
   4           = case x_r3d of
   5               PrelBase.True{-5E,w-}{i} -> PrelBase.True{-5E,w-}{i}
   6               PrelBase.False{-58,w-}{i} -> x_r3d
   7
   8 ghc: module version changed to 1; reason: no old .hi file
   9 _interface_ ShouldSucceed 1
  10 _instance_modules_
  11 ArrBase IO PrelNum
  12 _exports_
  13 ShouldSucceed f;
  14 _declarations_
  15 1 f _:_ PrelBase.Bool -> PrelBase.Bool ;;