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_ta19O, b_ta19Q]
  23 []
  24 [([a_ta19O, b_ta19Q], Print001.g{-r4W-}, g_a1bd)]
  25     g_a1bd x_r56 = lit_a1bf
  26 AbsBinds
  27 [a_ta1a8, b_ta1aa, c_ta1ac]
  28 [d.Eq_a1ah, d.Ord_a1ai, d.Ix_a1aj]
  29 [([a_ta1a8, b_ta1aa, c_ta1ac], Print001.f2{-r4X-}, f2_a1bm)]
  30     f2_a1bm x_r54 = x_r54
  31 AbsBinds
  32 [a_ta1ay, b_ta1aA, c_ta1aC]
  33 [d.Eq_a1aH]
  34 [([a_ta1ay, b_ta1aA, c_ta1aC], Print001.f{-r4Y-}, f_a1bn)]
  35     f_a1bn x_r52 = x_r52
  36 AbsBinds
  37 [a1aL, a1aN, a1aP]
  38 []
  39 [([a1aL, a1aN, a1aP], Print001.mkFoo{-r4Z-}, mkFoo_a1bo)]
  40     mkFoo_a1bo = Print001.MkFoo{-r50-} [a1aL, a1aN, a1aP]
  41 AbsBinds
  42 [a_ta1b9]
  43 []
  44 [([a_ta1b9], Print001.$dEvalBar0{-r1bl-}, d.Eval_a1aX)]
  45     d.Eval_a1aX =
  46         PrelErr.error{-87-}
  47             {PrelBase.Eval{-24-} (Print001.Bar{-r5d-} a_ta1b9)} "Compiler error: bad dictionary Eval"
  48 AbsBinds
  49 [d_ta1ba, e_ta1bc, f_ta1bb]
  50 []
  51 [([d_ta1ba, e_ta1bc, f_ta1bb],
  52   Print001.$dEvalFoo0{-r1bk-},
  53   d.Eval_a1b5)]
  54     d.Eval_a1b5 =
  55         PrelErr.error{-87-}
  56             {PrelBase.Eval{-24-} (Print001.Foo{-r5e-} d_ta1ba e_ta1bc f_ta1bb)} "Compiler error: bad dictionary Eval"
  57 lit_a1bf = fromRational_a1be 2.0
  58 fromRational_a1be =
  59     PrelNum.fromRational{-8S-} PrelBase.Float{-3c-} d.Fractional_a1b8
  60 d.Fractional_a1b8 = PrelNum.$dFractionalFloat0{-rGQ-}
  61
  62
  63 ghc: module version changed to 1; reason: no old .hi file
  64 _exports_
  65 Print001 f f2 g mkFoo Bar(BarNil BarCon) Foo(MkFoo);
  66 _instances_
  67 instance _forall_ [a] => {PrelBase.Eval (Bar a)} = $dEvalBar0;
  68 instance _forall_ [a b c] => {PrelBase.Eval (Foo a b c)} = $dEvalFoo0;
  69 _declarations_
  70 1 $dEvalBar0 _:_ _forall_ [a] => {PrelBase.Eval (Bar a)} ;;
  71 1 $dEvalFoo0 _:_ _forall_ [a b c] => {PrelBase.Eval (Foo a b c)} ;;
  72 1 data Bar a = BarNil |  BarCon (Foo a a a) (Bar a) ;
  73 1 data Foo d e f = MkFoo [((d -> PrelBase.Int) -> d) -> e] (d -> e, e -> e) PrelBase.() ;
  74 1 f _:_ _forall_ [a b c] {PrelBase.Eq a} => (a -> b -> c) -> a -> b -> c ;;
  75 1 f2 _:_ _forall_ [a b c] {PrelBase.Eq a, PrelBase.Ord a, Ix.Ix c} => (a -> b -> c) -> a -> b -> c ;;
  76 1 g _:_ _forall_ [a b] => Foo PrelBase.Int (a -> b) (a -> [(a, PrelBase.Double, PrelBase.Int)]) -> PrelBase.Float ;;
  77 1 mkFoo _:_ _forall_ [a b c] => [((a -> PrelBase.Int) -> a) -> b] -> (a -> b, b -> b) -> PrelBase.() -> Foo a b c ;;