ghc/tests/typecheck/should_compile/tc045.stderr

   1
   2
   3 ================================================================================
   4 Typechecked:
   5 AbsBinds [tald] [] [([tald], $d1{-rlI,x-}, d.C_al6)]
   6     AbsBinds [] [] [([], op1_alJ, op1_ala)]
   7         op1_ala xs_r3k = xs_r3k
   8     d.C_al6 = ({-dict-} [] [op1_alJ])
   9 AbsBinds
  10 [talr]
  11 [d.B_alv, d.C_alw]
  12 [([talr], $d2{-rlK,x-}, d.B_alk)]
  13     d.C_alu = d.C_alw
  14     AbsBinds [] [] [([], op2_alM, op2_alo)]
  15         op2_alo xs_r3s ys_r3t = xs_r3s
  16     d.B_alk = ({-dict-} [d.C_alu] [op2_alM])
  17 scsel_BShouldSucceedC{-alL,x-} =
  18     _/\_ t12 -> \ tpl_B1 ->
  19         case tpl_B1 of { PrelTup.(,){-62,w-}{i} tpl_B1 tpl_B2  -> tpl_B1;}
  20 op2{-r3C,x-} =
  21     _/\_ t12 -> \ tpl_B1 ->
  22         case tpl_B1 of { PrelTup.(,){-62,w-}{i} tpl_B1 tpl_B2  -> tpl_B2;}
  23 AbsBinds [talG] [d.B_alC] []
  24 op1{-r3B,x-} = _/\_ t12 -> \ tpl_B1 -> tpl_B1
  25 AbsBinds [talH] [d.C_alF] []
  26 ghc: module version changed to 1; reason: no old .hi file
  27 _interface_ ShouldSucceed 1
  28 _instance_modules_
  29 ArrBase IO PrelNum
  30 _exports_
  31 ShouldSucceed B(op2) C(op1);
  32 _instances_
  33 instance _forall_ [a] => {C [a]} = $d1;
  34 instance _forall_ [a] {B a} => {B [a]} = $d2;
  35 _declarations_
  36 1 $d1 _:_ _forall_ [a] => {C [a]} ;;
  37 1 $d2 _:_ _forall_ [a] {B a, C [a]} => {B [a]} ;;
  38 1 class {C a} => B a where {op2 :: a -> a -> a} ;
  39 1 class C a where {op1 :: a -> a} ;