ghc/tests/typecheck/should_compile/tc045.stderr

   1 ==================== Typechecked ====================
   2 AbsBinds [talh] [] [([talh], $d1{-rlM,x-}, d.C_ala)]
   3     AbsBinds [] [] [([], op1_alN, op1_ale)]
   4         op1_ale xs_r3k = xs_r3k
   5     d.C_ala = ({-dict-} [] [op1_alN])
   6 AbsBinds
   7 [talv]
   8 [d.B_aly, d.C_alz]
   9 [([talv], $d2{-rlP,x-}, d.B_alo)]
  10     d.C_alA = d.C_alz
  11     AbsBinds [] [] [([], op2_alQ, op2_als)]
  12         op2_als xs_r3s ys_r3t = xs_r3s
  13     d.B_alo = ({-dict-} [d.C_alA] [op2_alQ])
  14 scsel_BShouldSucceedC{-alO,x-} =
  15     _/\_ t12 -> \ tpl_B1 ->
  16         case tpl_B1 of { PrelTup.(,){-62,w-}{i} tpl_B1 tpl_B2  -> tpl_B1;}
  17 op2{-r3B,x-} =
  18     _/\_ t12 -> \ tpl_B1 ->
  19         case tpl_B1 of { PrelTup.(,){-62,w-}{i} tpl_B1 tpl_B2  -> tpl_B2;}
  20 AbsBinds [talK] [d.B_alG] []
  21 op1{-r3C,x-} = _/\_ t12 -> \ tpl_B1 -> tpl_B1
  22 AbsBinds [talL] [d.C_alJ] []
  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 _exports_
  29 ShouldSucceed B(op2) C(op1);
  30 _instances_
  31 instance _forall_ [a] => {C [a]} = $d1;
  32 instance _forall_ [a] {B a} => {B [a]} = $d2;
  33 _declarations_
  34 1 $d1 _:_ _forall_ [a] => {C [a]} ;;
  35 1 $d2 _:_ _forall_ [a] {B a, C [a]} => {B [a]} ;;
  36 1 class {C a} => B a where {op2 :: a -> a -> a} ;
  37 1 class C a where {op1 :: a -> a} ;