ghc/tests/printing/should_compile/Print001.stderr

   1
   2 ==================== Typechecked ====================
   3 Print001.BarNil{-r8-} =
   4     _/\_ a_tr58 -> Print001.BarNil{-r8-} {_@_ a_tr58}
   5 Print001.BarCon{-r7-} =
   6     _/\_ a_tr58 -> \ x1_B1
   7                      x2_B2 ->
   8         Print001.BarCon{-r7-} {_@_ a_tr58 x1_B1 x2_B2}
   9 Print001.MkFoo{-r50-} =
  10     _/\_ d_tr5a
  11          e_tr5b
  12          f_tr5c -> \ x1_B1
  13                      x2_B2
  14                      x3_B3 ->
  15         Print001.MkFoo{-r50-} {_@_ d_tr5a
  16                                _@_ e_tr5b
  17                                _@_ f_tr5c
  18                                x1_B1
  19                                x2_B2
  20                                x3_B3}
  21 AbsBinds
  22 [a_ta19e, b_ta19g]
  23 []
  24 [([a_ta19e, b_ta19g], Print001.g{-r4W-}, g_a1aD)]
  25     g_a1aD x_r56 = lit_a1aF
  26 AbsBinds
  27 [a_ta19y, b_ta19A, c_ta19C]
  28 [d.Eq_a19H, d.Ord_a19I, d.Ix_a19J]
  29 [([a_ta19y, b_ta19A, c_ta19C], Print001.f2{-r4X-}, f2_a1aM)]
  30     f2_a1aM x_r54 = x_r54
  31 AbsBinds
  32 [a_ta19Y, b_ta1a0, c_ta1a2]
  33 [d.Eq_a1a7]
  34 [([a_ta19Y, b_ta1a0, c_ta1a2], Print001.f{-r4Y-}, f_a1aN)]
  35     f_a1aN x_r52 = x_r52
  36 AbsBinds
  37 [a1ab, a1ad, a1af]
  38 []
  39 [([a1ab, a1ad, a1af], Print001.mkFoo{-r4Z-}, mkFoo_a1aO)]
  40     mkFoo_a1aO = Print001.MkFoo{-r50-} [a1ab, a1ad, a1af]
  41 AbsBinds
  42 [a_ta1az]
  43 []
  44 [([a_ta1az], Print001.$dEvalBar0{-r1aL-}, d.Eval_a1an)]
  45     d.Eval_a1an =
  46         PrelErr.error{-87-}
  47             {PrelBase.Eval{-24-} (Print001.Bar{-r5d-} a_ta1az)} "Compiler error: bad dictionary Eval"
  48 AbsBinds
  49 [d_ta1aA, e_ta1aC, f_ta1aB]
  50 []
  51 [([d_ta1aA, e_ta1aC, f_ta1aB],
  52   Print001.$dEvalFoo0{-r1aK-},
  53   d.Eval_a1av)]
  54     d.Eval_a1av =
  55         PrelErr.error{-87-}
  56             {PrelBase.Eval{-24-} (Print001.Foo{-r5e-} d_ta1aA e_ta1aC f_ta1aB)} "Compiler error: bad dictionary Eval"
  57 lit_a1aF = fromRational_a1aE 2.0
  58 fromRational_a1aE =
  59     PrelNum.fromRational{-8S-} PrelBase.Float{-3c-} d.Fractional_a1ay
  60 d.Fractional_a1ay = PrelNum.$dFractionalFloat0{-rGQ-}
  61
  62
  63 ghc: module version changed to 1; reason: no old .hi file
  64 _interface_ Print001 1 302
  65 _instance_modules_
  66 IO PrelAddr PrelArr PrelBounded PrelCCall PrelForeign PrelNum
  67 _usages_
  68 Ix 1 :: $dIx2 1 $dIx3 1 $dIx4 1 $dIxBool0 1 $dIxChar0 1 $dIxInt0 1 $dIxOrdering0 1 Ix 1;
  69 PrelBase 1 :: $dEnum0 1 $dEnumBool0 1 $dEnumChar0 1 $dEnumInt0 1 $dEnumOrdering0 1 $dEq0 1 $dEq1 1 $dEqBool0 1 $dEqChar0 1 $dEqInt0 1 $dEqOrdering0 1 $dEval0 1 $dEval1 1 $dEval2 1 $dEvalBool0 1 $dEvalChar0 1 $dEvalDouble0 1 $dEvalFloat0 1 $dEvalInt0 1 $dEvalInteger0 1 $dEvalOrdering0 1 $dNumInt0 1 $dOrd0 1 $dOrd1 1 $dOrdBool0 1 $dOrdChar0 1 $dOrdInt0 1 $dOrdOrdering0 1 $dShow0 1 $dShow1 1 $dShow2 1 $dShowBool0 1 $dShowChar0 1 $dShowInt0 1 $dShowOrdering0 1 $m- 1 $m/= 1 $m< 1 $m<= 1 $m> 1 $m>= 1 $mcompare 1 $menumFromThenTo 1 $menumFromTo 1 $mfromInt 1 $mmax 1 $mmin 1 $mshowList 1 Enum 1 Eq 1 Eval 1 Num 1 Ord 1 Ordering 1 Show 1 String 1;
  70 PrelNum 1 :: $dEnumDouble0 1 $dEnumFloat0 1 $dEnumInteger0 1 $dEnumRatio0 1 $dEqDouble0 1 $dEqFloat0 1 $dEqInteger0 1 $dEqRatio0 1 $dEvalRatio0 1 $dFractionalDouble0 1 $dFractionalFloat0 1 $dFractionalRatio0 1 $dIntegralInt0 1 $dIntegralInteger0 1 $dIxInteger0 1 $dNumDouble0 1 $dNumFloat0 1 $dNumInteger0 1 $dNumRatio0 1 $dOrdDouble0 1 $dOrdFloat0 1 $dOrdInteger0 1 $dOrdRatio0 1 $dRealDouble0 1 $dRealFloat0 1 $dRealInt0 1 $dRealInteger0 1 $dRealRatio0 1 $dShowDouble0 1 $dShowFloat0 1 $dShowInteger0 1 $dShowRatio0 1 $mdiv 1 $mdivMod 1 $mmod 1 $mquot 1 $mrecip 1 $mrem 1 Fractional 1 Integral 1 Ratio 1 Rational 1 Real 1;
  71 PrelTup 1 :: $dEq0 1 $dEq1 1 $dEval0 1 $dEval1 1 $dOrd0 1 $dOrd1 1 $dShow2 1 $dShow3 1;
  72 _exports_
  73 Print001 f f2 g mkFoo Bar(BarNil BarCon) Foo(MkFoo);
  74 _instances_
  75 instance _forall_ [a] => {PrelBase.Eval (Bar a)} = $dEvalBar0;
  76 instance _forall_ [a b c] => {PrelBase.Eval (Foo a b c)} = $dEvalFoo0;
  77 _declarations_
  78 1 $dEvalBar0 _:_ _forall_ [a] => {PrelBase.Eval (Bar a)} ;;
  79 1 $dEvalFoo0 _:_ _forall_ [a b c] => {PrelBase.Eval (Foo a b c)} ;;
  80 1 data Bar a = BarNil |  BarCon (Foo a a a) (Bar a) ;
  81 1 data Foo d e f = MkFoo [((d -> PrelBase.Int) -> d) -> e] (d -> e, e -> e) PrelBase.() ;
  82 1 f _:_ _forall_ [a b c] {PrelBase.Eq a} => (a -> b -> c) -> a -> b -> c ;;
  83 1 f2 _:_ _forall_ [a b c] {PrelBase.Eq a, PrelBase.Ord a, Ix.Ix c} => (a -> b -> c) -> a -> b -> c ;;
  84 1 g _:_ _forall_ [a b] => Foo PrelBase.Int (a -> b) (a -> [(a, PrelBase.Double, PrelBase.Int)]) -> PrelBase.Float ;;
  85 1 mkFoo _:_ _forall_ [a b c] => [((a -> PrelBase.Int) -> a) -> b] -> (a -> b, b -> b) -> PrelBase.() -> Foo a b c ;;