ghc/tests/typecheck/should_compile/tc046.stderr

   1 ==================== Typechecked ====================
   2 scsel_BShouldSucceedC{-akW,x-} =
   3     _/\_ t12 -> \ tpl_B1 ->
   4         case tpl_B1 of { PrelTup.(,){-62,w-}{i} tpl_B1 tpl_B2  -> tpl_B1;}
   5 op2{-r3l,x-} =
   6     _/\_ t12 -> \ tpl_B1 ->
   7         case tpl_B1 of { PrelTup.(,){-62,w-}{i} tpl_B1 tpl_B2  -> tpl_B2;}
   8 AbsBinds [takU] [d.B_akQ] []
   9 op1{-r3n,x-} = _/\_ t12 -> \ tpl_B1 -> tpl_B1
  10 AbsBinds [takV] [d.C_akT] []
  11
  12 ghc: module version changed to 1; reason: no old .hi file
  13 _interface_ ShouldSucceed 1
  14 _instance_modules_
  15 ArrBase IO PrelNum
  16 _exports_
  17 ShouldSucceed B(op2) C(op1);
  18 _declarations_
  19 1 class {C a} => B a where {op2 :: a -> a -> a} ;
  20 1 class C a where {op1 :: a -> a} ;