ghc/compiler/tests/typecheck/should_succeed/tc046.stderr

   1
   2
   3 --================================================================================
   4 Typechecked:
   5 {- nonrec -}
   6 scsel_BHC{-anH,x-} =
   7     _/\_ a{-r3g-} -> \ tpl_B1 ->
   8         case tpl_B1 of { PrelTup.(,){-62,p-}{i} tpl_B1 tpl_B2  -> tpl_B1;}
   9 op2{-r3m,x-} =
  10     _/\_ a{-r3g-} -> \ tpl_B1 ->
  11         case tpl_B1 of { PrelTup.(,){-62,p-}{i} tpl_B1 tpl_B2  -> tpl_B2;}
  12 {- nonrec -}
  13 AbsBinds
  14 [a{-anv-}]
  15 [d.B_ano]
  16 [([a{-anv-}], $mop2{-rnI,x-}, op2_anq)]
  17     AbsBinds [] [] [([], op2_anq, op2_ans)]
  18         op2_ans
  19             =   GHCerr.noDefaultMethodError{-8k,p-}
  20                     (a{-anv-} -> a{-anv-} -> a{-anv-}) "Class B Method op2"
  21 {- nonrec -}
  22 op1{-r3o,x-} =
  23     _/\_ a{-r3l-} -> \ tpl_B1 ->
  24         tpl_B1
  25 {- nonrec -}
  26 AbsBinds
  27 [a{-anG-}]
  28 [d.C_anz]
  29 [([a{-anG-}], $mop1{-rnJ,x-}, op1_anB)]
  30     AbsBinds [] [] [([], op1_anB, op1_anD)]
  31         op1_anD
  32             =   GHCerr.noDefaultMethodError{-8k,p-}
  33                     (a{-anG-} -> a{-anG-}) "Class C Method op1"
  34 {- nonrec -}
  35 ghc: module version changed to 1; reason: no old .hi file
  36 _interface_ H 1
  37 _instance_modules_
  38 ArrBase IO PrelNum
  39 _exports_
  40 H B(op2) C(op1);
  41 _declarations_
  42 1 $mop1 _:_ _forall_ [a] {C a} => a -> a ;;
  43 1 $mop2 _:_ _forall_ [a] {B a} => a -> a -> a ;;
  44 1 class {C r3g} => B r3g where {op2 :: r3g -> r3g -> r3g} ;
  45 1 class C r3l where {op1 :: r3l -> r3l} ;