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

   1
   2
   3 --================================================================================
   4 Typechecked:
   5 {- nonrec -}
   6 scsel_BHC{-aow,x-} =
   7     _/\_ a{-r3x-} -> \ tpl_B1 ->
   8         case tpl_B1 of { PrelTup.(,){-62,p-}{i} tpl_B1 tpl_B2  -> tpl_B1;}
   9 op2{-r3D,x-} =
  10     _/\_ a{-r3x-} -> \ tpl_B1 ->
  11         case tpl_B1 of { PrelTup.(,){-62,p-}{i} tpl_B1 tpl_B2  -> tpl_B2;}
  12 {- nonrec -}
  13 AbsBinds
  14 [a{-aok-}]
  15 [d.B_aod]
  16 [([a{-aok-}], $mop2{-rox,x-}, op2_aof)]
  17     AbsBinds [] [] [([], op2_aof, op2_aoh)]
  18         op2_aoh
  19             =   GHCerr.noDefaultMethodError{-8k,p-}
  20                     (a{-aok-} -> a{-aok-} -> a{-aok-}) "Class B Method op2"
  21 {- nonrec -}
  22 op1{-r3E,x-} =
  23     _/\_ a{-r3C-} -> \ tpl_B1 ->
  24         tpl_B1
  25 {- nonrec -}
  26 AbsBinds
  27 [a{-aov-}]
  28 [d.C_aoo]
  29 [([a{-aov-}], $mop1{-roy,x-}, op1_aoq)]
  30     AbsBinds [] [] [([], op1_aoq, op1_aos)]
  31         op1_aos
  32             =   GHCerr.noDefaultMethodError{-8k,p-}
  33                     (a{-aov-} -> a{-aov-}) "Class C Method op1"
  34 {- rec -}
  35 AbsBinds [a{-anP-}] [] [([a{-anP-}], $d1{-roz,x-}, d.C_anJ)]
  36     AbsBinds [] [] [([], op1_aoA, op1_anM)]
  37         op1_anM
  38             xs_r3k  =   xs_r3k
  39     d.C_anJ =
  40         ({-dict-} [] [op1_aoA])
  41 {- rec -}
  42 AbsBinds
  43 [a{-ao2-}]
  44 [d.B_ao5, d.C_ao6]
  45 [([a{-ao2-}], $d2{-roB,x-}, d.B_anW)]
  46     d.C_ao7 =
  47         d.C_ao6
  48     AbsBinds [] [] [([], op2_aoC, op2_anZ)]
  49         op2_anZ
  50             xs_r3s ys_r3u
  51                     =   xs_r3s
  52     d.B_anW =
  53         ({-dict-} [d.C_ao7] [op2_aoC])
  54 {- nonrec -}
  55 ghc: module version changed to 1; reason: no old .hi file
  56 _interface_ H 1
  57 _instance_modules_
  58 ArrBase IO PrelNum
  59 _exports_
  60 H B(op2) C(op1);
  61 _instances_
  62 instance _forall_ [a] => {C [a]} = $d1;
  63 instance _forall_ [a] {B a} => {B [a]} = $d2;
  64 _declarations_
  65 1 $d1 _:_ _forall_ [a] => {C [a]} ;;
  66 1 $d2 _:_ _forall_ [a] {B a, C [a]} => {B [a]} ;;
  67 1 $mop1 _:_ _forall_ [a] {C a} => a -> a ;;
  68 1 $mop2 _:_ _forall_ [a] {B a} => a -> a -> a ;;
  69 1 class {C r3x} => B r3x where {op2 :: r3x -> r3x -> r3x} ;
  70 1 class C r3C where {op1 :: r3C -> r3C} ;