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

   1
   2
   3 --================================================================================
   4 Typechecked:
   5 {- nonrec -}
   6 d.Num_aHu =
   7     PrelBase.$d3{-rbi,p-}
   8 {- nonrec -}
   9 AbsBinds
  10 [a{-aH2-}, b{-aH5-}]
  11 [d.Num_aHd]
  12 [([b{-aH5-}, a{-aH2-}], g{-r3h,x-}, g_aGY)]
  13     d.Num_aHf =
  14         d.Num_aHd
  15     +_aHG =
  16         PrelBase.+{-rcQ,p-}
  17             a{-aH2-}
  18             d.Num_aHf
  19     d.Num_aHh =
  20         d.Num_aHd
  21     -_aHF =
  22         PrelBase.-{-817,p-}
  23             a{-aH2-}
  24             d.Num_aHh
  25     g_aGY
  26         b_r3l x_r3n y_r3p
  27                 =   if b_r3l then x_r3n +_aHG x_r3n else x_r3n -_aHF x_r3n
  28 {- nonrec -}
  29 {- nonrec -}
  30 AbsBinds [b{-aHp-}] [] [([b{-aHp-}], f{-r3j,x-}, f_aHj)]
  31     g_aHH =
  32         g{-r3h,x-}
  33             [b{-aHp-}, PrelBase.Int{-3g,p-}]
  34             d.Num_aHu
  35     f_aHj
  36         =   g_aHH PrelBase.True{-5E,p-}{i}
  37 {- nonrec -}
  38 {- nonrec -}
  39 AbsBinds [b{-aHE-}] [] [([b{-aHE-}], h{-r3i,x-}, h_aHw)]
  40     h_aHw
  41         y_r3r x_r3t
  42                 =   f{-r3j,x-}
  43                         b{-aHE-} x_r3t y_r3r
  44 {- nonrec -}
  45 ghc: module version changed to 1; reason: no old .hi file
  46 _interface_ Foo 1
  47 _instance_modules_
  48 ArrBase IO PrelNum
  49 _usages_
  50 PrelBase 1 :: $d1 1 $d11 1 $d15 1 $d2 1 $d21 1 $d27 1 $d3 1 $d32 1 $d33 1 $d37 1 $d38 1 $d39 1 $d41 1 $d42 1 $d44 1 $d46 1 $d54 1 $d7 1 $d8 1 Eq 1 Eval 1 Num 1 Show 1 String 1;
  51 PrelNum 1 :: $d10 1 $d16 1 $d18 1 $d29 1 $d33 1 $d35 1;
  52 _exports_
  53 Foo f g h;
  54 _declarations_
  55 1 f _:_ _forall_ [a] => PrelBase.Int -> a -> PrelBase.Int ;;
  56 1 g _:_ _forall_ [a b] {PrelBase.Num b} => PrelBase.Bool -> b -> a -> b ;;
  57 1 h _:_ _forall_ [a] => a -> PrelBase.Int -> PrelBase.Int ;;