2 ==================== Typechecked ====================
3 Print001.BarNil{-rb,x-} =
4 \ a{-rsr-} -> Print001.BarNil{-rb,x-} {__a a{-rsr-}}
5 Print001.BarCon{-rd,x-} =
6 \ a{-rsr-} tpl_B1 tpl_B2 ->
7 Print001.BarCon{-rd,x-} {__a a{-rsr-} tpl_B1 tpl_B2}
8 Print001.MkFoo{-rh,x-} =
9 \ d{-rsv-} e{-rsw-} f{-rsx-} tpl_B1 tpl_B2 tpl_B3 ->
10 Print001.MkFoo{-rh,x-} {__a d{-rsv-}
17 [a{-a145-}, b{-a146-}]
19 [([a{-a145-}, b{-a146-}], Print001.g{-r7,x-}, g{-a142-})]
20 g{-a142-} x{-a148-} = lit_a15c
22 [c{-a14q-}, a{-a14r-}, b{-a14s-}]
23 [_dEq{-a14w-}, _dOrd{-a14x-}, _dIx{-a14y-}]
24 [([a{-a14r-}, b{-a14s-}, c{-a14q-}],
27 f2{-a14n-} x{-a14u-} = x{-a14u-}
29 [c{-a14T-}, a{-a14U-}, b{-a14V-}]
31 [([a{-a14U-}, b{-a14V-}, c{-a14T-}],
34 f{-a14Q-} x{-a14X-} = x{-a14X-}
36 [d{-a156-}, e{-a158-}, f{-a15a-}]
38 [([d{-a156-}, e{-a158-}, f{-a15a-}],
39 Print001.mkFoo{-r1,x-},
42 = Print001.MkFoo{-rh,x-} [d{-a156-}, e{-a158-}, f{-a15a-}]
43 lit_a15c = PrelBase.F#{-66,w-} 2.0#
46 ghc: module version changed to 1; reason: no old .hi file
47 __export Print001 f f2 g mkFoo Bar{BarNil BarCon} Foo{MkFoo};
48 1 data Bar a = BarNil | BarCon (Foo a a a) (Bar a) ;
49 1 data Foo d e f = MkFoo [((d -> PrelBase.Int) -> d) -> e] (d -> e, e -> e) PrelBase.() ;
50 1 f :: __forall [a b c] {PrelBase.Eq a} => (a -> b -> c) -> a -> b -> c ;
51 1 f2 :: __forall [a b c] {PrelBase.Eq a, PrelBase.Ord a, Ix.Ix c} => (a -> b -> c) -> a -> b -> c ;
52 1 g :: __forall [a b] => Foo PrelBase.Int (a -> b) (a -> [(a, PrelBase.Double, PrelBase.Int)]) -> PrelBase.Float ;
53 1 mkFoo :: __forall [d e f] => [((d -> PrelBase.Int) -> d) -> e] -> (d -> e, e -> e) -> PrelBase.() -> Foo d e f ;