2 ==================== Typechecked ====================
3 Print001.BarNil{-r8-} =
4 _/\_ a_tr58 -> Print001.BarNil{-r8-} {_@_ a_tr58}
5 Print001.BarCon{-r7-} =
8 Print001.BarCon{-r7-} {_@_ a_tr58 x1_B1 x2_B2}
9 Print001.MkFoo{-r50-} =
15 Print001.MkFoo{-r50-} {_@_ d_tr5a
24 [([a_ta19e, b_ta19g], Print001.g{-r4W-}, g_a1aD)]
25 g_a1aD x_r56 = lit_a1aF
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)]
32 [a_ta19Y, b_ta1a0, c_ta1a2]
34 [([a_ta19Y, b_ta1a0, c_ta1a2], Print001.f{-r4Y-}, f_a1aN)]
39 [([a1ab, a1ad, a1af], Print001.mkFoo{-r4Z-}, mkFoo_a1aO)]
40 mkFoo_a1aO = Print001.MkFoo{-r50-} [a1ab, a1ad, a1af]
44 [([a_ta1az], Print001.$dEvalBar0{-r1aL-}, d.Eval_a1an)]
47 {PrelBase.Eval{-24-} (Print001.Bar{-r5d-} a_ta1az)} "Compiler error: bad dictionary Eval"
49 [d_ta1aA, e_ta1aC, f_ta1aB]
51 [([d_ta1aA, e_ta1aC, f_ta1aB],
52 Print001.$dEvalFoo0{-r1aK-},
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
59 PrelNum.fromRational{-8S-} PrelBase.Float{-3c-} d.Fractional_a1ay
60 d.Fractional_a1ay = PrelNum.$dFractionalFloat0{-rGQ-}
63 ghc: module version changed to 1; reason: no old .hi file
64 _interface_ Print001 1 302
66 IO PrelAddr PrelArr PrelBounded PrelCCall PrelForeign PrelNum
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;
73 Print001 f f2 g mkFoo Bar(BarNil BarCon) Foo(MkFoo);
75 instance _forall_ [a] => {PrelBase.Eval (Bar a)} = $dEvalBar0;
76 instance _forall_ [a b c] => {PrelBase.Eval (Foo a b c)} = $dEvalFoo0;
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 ;;