ghc/tests/printing/should_compile/Print001.stderr

   1
   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-}
  11                                 __a e{-rsw-}
  12                                 __a f{-rsx-}
  13                                 tpl_B1
  14                                 tpl_B2
  15                                 tpl_B3}
  16 AbsBinds
  17 [a{-a145-}, b{-a146-}]
  18 []
  19 [([a{-a145-}, b{-a146-}], Print001.g{-r7,x-}, g{-a142-})]
  20     g{-a142-} x{-a148-} = lit_a15c
  21 AbsBinds
  22 [c{-a14q-}, a{-a14r-}, b{-a14s-}]
  23 [_dEq{-a14w-}, _dOrd{-a14x-}, _dIx{-a14y-}]
  24 [([a{-a14r-}, b{-a14s-}, c{-a14q-}],
  25   Print001.f2{-r5,x-},
  26   f2{-a14n-})]
  27     f2{-a14n-} x{-a14u-} = x{-a14u-}
  28 AbsBinds
  29 [c{-a14T-}, a{-a14U-}, b{-a14V-}]
  30 [_dEq{-a14Z-}]
  31 [([a{-a14U-}, b{-a14V-}, c{-a14T-}],
  32   Print001.f{-r3,x-},
  33   f{-a14Q-})]
  34     f{-a14Q-} x{-a14X-} = x{-a14X-}
  35 AbsBinds
  36 [d{-a156-}, e{-a158-}, f{-a15a-}]
  37 []
  38 [([d{-a156-}, e{-a158-}, f{-a15a-}],
  39   Print001.mkFoo{-r1,x-},
  40   mkFoo{-a15b-})]
  41     mkFoo{-a15b-}
  42         = Print001.MkFoo{-rh,x-} [d{-a156-}, e{-a158-}, f{-a15a-}]
  43 lit_a15c = PrelBase.F#{-66,w-} 2.0#
  44
  45
  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 ;