ghc/tests/typecheck/should_compile/tc046.stderr

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