ghc/tests/printing/should_compile/Print001.stderr

   1 ==================== Typechecked ====================
   2 BarNil{-r8,x-}{i} = _/\_ a_tr4F -> BarNil{-r8,x-}{i} {_@_ a_tr4F}
   3 BarCon{-r7,x-}{i} =
   4     _/\_ a_tr4F -> \ tpl_B1 tpl_B2 ->
   5         BarCon{-r7,x-}{i} {_@_ a_tr4F tpl_B1 tpl_B2}
   6 MkFoo{-r4M,x-}{i} =
   7     _/\_ d_tr4H e_tr4I f_tr4J -> \ tpl_B1 tpl_B2 tpl_B3 ->
   8         MkFoo{-r4M,x-}{i}
   9             {_@_ d_tr4H _@_ e_tr4I _@_ f_tr4J tpl_B1 tpl_B2 tpl_B3}
  10 AbsBinds [taYm, taYn] [] [([taYn, taYm], g{-r4w,x-}, g_aYj)]
  11     g_aYj x_r4D = lit_aZz
  12 AbsBinds
  13 [taYB, taYC, taYD]
  14 [d.Eq_aYF, d.Ord_aYG, d.Ix_aYH]
  15 [([taYB, taYC, taYD], f2{-r4v,x-}, f2_aYy)]
  16     f2_aYy x_r4B = x_r4B
  17 AbsBinds
  18 [taYS, taYT, taYU]
  19 [d.Eq_aYW]
  20 [([taYS, taYT, taYU], f{-r4u,x-}, f_aYP)]
  21     f_aYP x_r4z = x_r4z
  22 AbsBinds
  23 [taZ2, taZ4, taZ6]
  24 []
  25 [([taZ2, taZ4, taZ6], mkFoo{-r4x,x-}, mkFoo_aYY)]
  26     mkFoo_aYY = MkFoo{-r4M,x-}{i} [taZ2, taZ4, taZ6]
  27 AbsBinds [taZo] [] [([taZo], $d1{-rZv,x-}, d.Eval_aZc)]
  28     d.Eval_aZc = ({-dict-} [] [])
  29 AbsBinds
  30 [taZp, taZq, taZr]
  31 []
  32 [([taZp, taZq, taZr], $d2{-rZx,x-}, d.Eval_aZk)]
  33     d.Eval_aZk = ({-dict-} [] [])
  34 d.Fractional_aZn = PrelNum.$d23{-rES,p-}
  35 fromRational_aZy =
  36     PrelNum.fromRational{-8T,p-} PrelBase.Float{-3c,W-}
  37         d.Fractional_aZn
  38 lit_aZz = fromRational_aZy 2.0000000000000000
  39
  40 ghc: module version changed to 1; reason: no old .hi file
  41 _interface_ Print001 1
  42 _instance_modules_
  43 ArrBase IO PrelNum
  44 _usages_
  45 Ix 1 :: $d3 1 $d4 1 $d5 1 $d6 1 $d7 1 $d8 1 $d9 1 Ix 1;
  46 PrelBase 1 :: $d1 1 $d11 1 $d12 1 $d14 1 $d15 1 $d16 1 $d2 1 $d22 1 $d27 1 $d28 1 $d3 1 $d31 1 $d32 1 $d33 1 $d34 1 $d35 1 $d38 1 $d39 1 $d4 1 $d40 1 $d41 1 $d42 1 $d43 1 $d45 1 $d46 1 $d47 1 $d50 1 $d51 1 $d52 1 $d55 1 $d56 1 $d6 1 $d7 1 $d8 1 $d9 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;
  47 PrelNum 1 :: $d1 1 $d10 1 $d14 1 $d15 1 $d16 1 $d17 1 $d18 1 $d19 1 $d2 1 $d23 1 $d24 1 $d25 1 $d26 1 $d27 1 $d28 1 $d29 1 $d30 1 $d31 1 $d32 1 $d33 1 $d34 1 $d35 1 $d36 1 $d37 1 $d38 1 $d39 1 $d4 1 $d5 1 $d6 1 $d7 1 $d8 1 $d9 1 $mdiv 1 $mdivMod 1 $mmod 1 $mquot 1 $mrecip 1 $mrem 1 Fractional 1 Integral 1 Ratio 1 Rational 1 Real 1;
  48 PrelTup 1 :: $d10 1 $d13 1 $d14 1 $d3 1 $d4 1 $d49 1 $d50 1 $d9 1;
  49 _exports_
  50 Print001 f f2 g mkFoo Bar(BarNil BarCon) Foo(MkFoo);
  51 _instances_
  52 instance _forall_ [a] => {PrelBase.Eval (Bar a)} = $d1;
  53 instance _forall_ [d e f] => {PrelBase.Eval (Foo d e f)} = $d2;
  54 _declarations_
  55 1 $d1 _:_ _forall_ [a] => {PrelBase.Eval (Bar a)} ;;
  56 1 $d2 _:_ _forall_ [d e f] => {PrelBase.Eval (Foo d e f)} ;;
  57 1 data Bar a = BarNil |  BarCon (Foo a a a) (Bar a) ;
  58 1 data Foo d e f = MkFoo [((d -> PrelBase.Int) -> d) -> e] (d -> e, e -> e) PrelBase.() ;
  59 1 f _:_ _forall_ [ta tb tc] {PrelBase.Eq ta} => (ta -> tb -> tc) -> ta -> tb -> tc ;;
  60 1 f2 _:_ _forall_ [ta tb tc] {PrelBase.Eq ta, PrelBase.Ord ta, Ix.Ix tc} => (ta -> tb -> tc) -> ta -> tb -> tc ;;
  61 1 g _:_ _forall_ [ta tb] => Foo PrelBase.Int (tb -> ta) (tb -> [(tb, PrelBase.Double, PrelBase.Int)]) -> PrelBase.Float ;;
  62 1 mkFoo _:_ _forall_ [ta tb tc] => [((ta -> PrelBase.Int) -> ta) -> tb] -> (ta -> tb, tb -> tb) -> PrelBase.() -> Foo ta tb tc ;;