ghc/tests/typecheck/should_compile/tc043.stderr

   1 ==================== Typechecked ====================
   2 AbsBinds [taCH, taCE] [d.A_aCJ] [([taCH, taCE], f{-r3B,x-}, f_aCu)]
   3     op1_aDA = op1{-r3D,x-} taCE d.A_aCJ
   4     f_aCu x_r3h = op1_aDA
   5 AbsBinds [taCW] [d.B_aDc] [([taCW], $d1{-rDE,x-}, d.B_aCP)]
   6     op2_aDG = op2_aDF
   7     AbsBinds [] [] [([], op2_aDF, op2_aCT)]
   8         op2_aCT PrelBase.[]{-5i,w-}{i} = PrelBase.I#{-5b,w-}{i} 0#
   9         op2_aCT (x_r3p PrelBase.:{-55,w-}{i} xs_r3q)
  10                 = lit_aDB +_aDC (op2_aDG xs_r3q)
  11     d.B_aCP = ({-dict-} [] [op2_aDF])
  12 AbsBinds [] [] [([], $d2{-rDD,x-}, d.A_aDk)]
  13     AbsBinds [] [] [([], op1_aDH, op1_aDo)]
  14         op1_aDo = PrelBase.I#{-5b,w-}{i} 2#
  15     d.A_aDk = ({-dict-} [] [op1_aDH])
  16 op2{-r3C,x-} = _/\_ t12 -> \ tpl_B1 -> tpl_B1
  17 AbsBinds [taDy] [d.B_aDs] []
  18 op1{-r3D,x-} = _/\_ t12 -> \ tpl_B1 -> tpl_B1
  19 AbsBinds [taDz] [d.A_aDv] []
  20 d.Num_aDx = PrelBase.$d4{-raQ,p-}
  21 +_aDC = PrelBase.+{-rfF,p-} PrelBase.Int{-3g,W-} d.Num_aDx
  22 lit_aDB = PrelBase.I#{-5b,w-}{i} 1#
  23
  24 ghc: module version changed to 1; reason: no old .hi file
  25 _interface_ ShouldSucceed 1
  26 _instance_modules_
  27 ArrBase IO PrelNum
  28 _usages_
  29 PrelBase 1 :: $d1 1 $d12 1 $d16 1 $d2 1 $d22 1 $d28 1 $d3 1 $d33 1 $d34 1 $d38 1 $d39 1 $d4 1 $d40 1 $d42 1 $d43 1 $d45 1 $d47 1 $d55 1 $d8 1 $d9 1 $m- 1 $m/= 1 $mfromInt 1 $mshowList 1 Eq 1 Eval 1 Num 1 Show 1 String 1;
  30 PrelNum 1 :: $d10 1 $d16 1 $d18 1 $d29 1 $d33 1 $d35 1;
  31 _exports_
  32 ShouldSucceed f A(op1) B(op2);
  33 _instances_
  34 instance _forall_ [a] {B a} => {B [a]} = $d1;
  35 instance {A PrelBase.Int} = $d2;
  36 _declarations_
  37 1 $d1 _:_ _forall_ [a] {B a} => {B [a]} ;;
  38 1 $d2 _:_ {A PrelBase.Int} ;;
  39 1 class A a where {op1 :: a} ;
  40 1 class B b where {op2 :: b -> PrelBase.Int} ;
  41 1 f _:_ _forall_ [ta tb] {A tb} => ta -> tb ;;