ghc/tests/typecheck/should_compile/tc004.stderr

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