ghc/tests/deriving/should_compile/drv003.stderr

   1
   2 drv003.hs:15: No explicit method nor default method for `PrelBase.=='
   3               in an instance declaration for `PrelBase.Eq'
   4
   5 drv003.hs:12: No explicit method nor default method for `PrelBase.=='
   6               in an instance declaration for `PrelBase.Eq'
   7
   8
   9 ================================================================================
  10 Typechecked:
  11 MkBar{-r3I,x-}{i} =
  12     _/\_ a_tr3u -> \ tpl_B1 tpl_B2 ->
  13         MkBar{-r3I,x-}{i} {_@_ a_tr3u tpl_B1 tpl_B2}
  14 MkFoo{-r3H,x-}{i} =
  15     _/\_ a_tr3z -> \ tpl_B1 tpl_B2 ->
  16         MkFoo{-r3H,x-}{i} {_@_ a_tr3z tpl_B1 tpl_B2}
  17 C1{-r9,x-}{i} =
  18     _/\_ a_tr3B b_tr3C -> \ tpl_B1 tpl_B2 ->
  19         C1{-r9,x-}{i} {_@_ a_tr3B _@_ b_tr3C tpl_B1 tpl_B2}
  20 C2{-r8,x-}{i} =
  21     _/\_ a_tr3B b_tr3C -> \ tpl_B1 tpl_B2 ->
  22         C2{-r8,x-}{i} {_@_ a_tr3B _@_ b_tr3C tpl_B1 tpl_B2}
  23 C3{-rb,x-}{i} =
  24     _/\_ a_tr3B b_tr3C -> \ tpl_B1 ->
  25         C3{-rb,x-}{i} {_@_ a_tr3B _@_ b_tr3C tpl_B1}
  26 AbsBinds
  27 [taCu, taCv]
  28 [d.Eq_aDz, d.Ping_aDA, d.Eq_aDB, d.Ping_aDC]
  29 [([taCu, taCv], $d3{-rFu,x-}, d.Eq_aCh)]
  30     d.Eq_aDI = d.Eq_aDz
  31     d.Eq_aDG = $d2{-rFC,x-} taCu d.Eq_aDI
  32     ==_aFE = PrelBase.=={-8Y,p-} (Foo{-r3F,x-} taCu) d.Eq_aDG
  33     d.Ping_aDM = d.Ping_aDC
  34     d.Eq_aDK = $d1{-rFB,x-} taCv d.Ping_aDM
  35     ==_aFF = PrelBase.=={-8Y,p-} (Bar{-r3E,x-} taCv) d.Eq_aDK
  36     d.Eq_aDS = d.Eq_aDB
  37     d.Ping_aDT = d.Ping_aDC
  38     d.Eq_aDU = d.Eq_aDz
  39     d.Ping_aDV = d.Ping_aDA
  40     d.Eq_aDQ =
  41         $d3{-rFu,x-} [taCv, taCu]
  42             [d.Eq_aDS, d.Ping_aDT, d.Eq_aDU, d.Ping_aDV]
  43     ==_aFG = PrelBase.=={-8Y,p-} (T{-r3G,x-} taCv taCu) d.Eq_aDQ
  44     d.Eq_aDZ = d.Eq_aDz
  45     d.Ping_aE0 = d.Ping_aDA
  46     d.Eq_aE1 = d.Eq_aDz
  47     d.Ping_aE2 = d.Ping_aDA
  48     d.Eq_aDX =
  49         $d3{-rFu,x-} [taCu, taCu]
  50             [d.Eq_aDZ, d.Ping_aE0, d.Eq_aE1, d.Ping_aE2]
  51     ==_aFH = PrelBase.=={-8Y,p-} (T{-r3G,x-} taCu taCu) d.Eq_aDX
  52     ==_aFI = ==_aFJ
  53     AbsBinds [] [] [([], ==_aFJ, ==_aCl)]
  54         ==_aCl (C1{-r9,x-}{i} a1_rBE a2_rBF) (C1{-r9,x-}{i} b1_rBG b2_rBH)
  55                = (a1_rBE ==_aFE b1_rBG)
  56                  PrelBase.&&{-rfy,p-} (a2_rBF ==_aFF b2_rBH)
  57         ==_aCl (C2{-r8,x-}{i} a1_rBJ a2_rBK) (C2{-r8,x-}{i} b1_rBL b2_rBM)
  58                = (a1_rBJ ==_aFD b1_rBL)
  59                  PrelBase.&&{-rfy,p-} (a2_rBK ==_aFG b2_rBM)
  60         ==_aCl (C3{-rb,x-}{i} a1_rBO) (C3{-rb,x-}{i} b1_rBP)
  61                = a1_rBO ==_aFH b1_rBP
  62         ==_aCl a_rBR b_rBS = PrelBase.False{-58,w-}{i}
  63     AbsBinds [] [] [([], /=_aFK, /=_aDs)]
  64         /=_aDs a_rBW b_rBX = PrelBase.not{-r3D,p-} ==_aFI a_rBW b_rBX
  65     d.Eq_aCh = ({-dict-} [] [==_aFJ, /=_aFK])
  66 AbsBinds [taFp] [] [([taFp], $d4{-rFw,x-}, d.Eval_aEc)]
  67     d.Eval_aEc = ({-dict-} [] [])
  68 AbsBinds [taFq] [] [([taFq], $d5{-rFy,x-}, d.Eval_aEi)]
  69     d.Eval_aEi = ({-dict-} [] [])
  70 AbsBinds [taFr, taFs] [] [([taFr, taFs], $d6{-rFA,x-}, d.Eval_aEp)]
  71     d.Eval_aEp = ({-dict-} [] [])
  72 AbsBinds [taED] [d.Ping_aEM] [([taED], $d1{-rFB,x-}, d.Eq_aEv)]
  73     d.Eq_aEQ = d.Eq_aEv
  74     $m/=_aFL = PrelBase.$m/={-rfk,p-} (Bar{-r3E,x-} taED) d.Eq_aEQ
  75     AbsBinds [] [] [([], ==_aFM, ==_aEA)]
  76         ==_aEA
  77             = GHCerr.noDefaultMethodError{-8k,w-}
  78                   (Bar{-r3E,x-} taED
  79                    -> Bar{-r3E,x-} taED
  80                    -> PrelBase.Bool{-34,W-}) "<NoSrcLoc>|PrelBase.=="
  81     AbsBinds [] [] [([], /=_aFN, /=_aEJ)]
  82         /=_aEJ = $m/=_aFL
  83     d.Eq_aEv = ({-dict-} [] [==_aFM, /=_aFN])
  84 AbsBinds [taF5] [d.Eq_aFe] [([taF5], $d2{-rFC,x-}, d.Eq_aEX)]
  85     d.Eq_aFi = d.Eq_aEX
  86     $m/=_aFO = PrelBase.$m/={-rfk,p-} (Foo{-r3F,x-} taF5) d.Eq_aFi
  87     AbsBinds [] [] [([], ==_aFP, ==_aF2)]
  88         ==_aF2
  89             = GHCerr.noDefaultMethodError{-8k,w-}
  90                   (Foo{-r3F,x-} taF5
  91                    -> Foo{-r3F,x-} taF5
  92                    -> PrelBase.Bool{-34,W-}) "<NoSrcLoc>|PrelBase.=="
  93     AbsBinds [] [] [([], /=_aFQ, /=_aFb)]
  94         /=_aFb = $m/=_aFO
  95     d.Eq_aEX = ({-dict-} [] [==_aFP, /=_aFQ])
  96 AbsBinds [taFt] [d.Ping_aFm] []
  97 d.Eq_aFo = PrelBase.$d8{-rbg,p-}
  98 ==_aFD = PrelBase.=={-8Y,p-} PrelBase.Int{-3g,W-} d.Eq_aFo
  99 ghc: module version changed to 1; reason: no old .hi file
 100 _interface_ ShouldSucceed 1
 101 _instance_modules_
 102 ArrBase IO PrelNum
 103 _usages_
 104 PrelBase 1 :: $d16 1 $d2 1 $d33 1 $d38 1 $d40 1 $d42 1 $d47 1 $d8 1 $m/= 1 && 1 not 1 Eq 1 Eval 1;
 105 PrelNum 1 :: $d18 1;
 106 _exports_
 107 ShouldSucceed Bar(MkBar) Foo(MkFoo) Ping T(C1 C2 C3);
 108 _instances_
 109 instance _forall_ [b] {Ping b} => {PrelBase.Eq (Bar b)} = $d1;
 110 instance _forall_ [a] {PrelBase.Eq a} => {PrelBase.Eq (Foo a)} = $d2;
 111 instance _forall_ [a b] {PrelBase.Eq a, Ping a, PrelBase.Eq b, Ping b} => {PrelBase.Eq (T a b)} = $d3;
 112 instance _forall_ [a] => {PrelBase.Eval (Bar a)} = $d4;
 113 instance _forall_ [a] => {PrelBase.Eval (Foo a)} = $d5;
 114 instance _forall_ [a b] => {PrelBase.Eval (T a b)} = $d6;
 115 _declarations_
 116 1 $d1 _:_ _forall_ [b] {Ping b} => {PrelBase.Eq (Bar b)} ;;
 117 1 $d2 _:_ _forall_ [a] {PrelBase.Eq a} => {PrelBase.Eq (Foo a)} ;;
 118 1 $d3 _:_ _forall_ [a b] {PrelBase.Eq a, Ping a, PrelBase.Eq b, Ping b} => {PrelBase.Eq (T a b)} ;;
 119 1 $d4 _:_ _forall_ [a] => {PrelBase.Eval (Bar a)} ;;
 120 1 $d5 _:_ _forall_ [a] => {PrelBase.Eval (Foo a)} ;;
 121 1 $d6 _:_ _forall_ [a b] => {PrelBase.Eval (T a b)} ;;
 122 1 data Bar a = MkBar PrelBase.Int PrelBase.Int ;
 123 1 data Foo a = MkFoo PrelBase.Double a ;
 124 1 class Ping a ;
 125 1 data T a b = C1 (Foo a) (Bar b) |  C2 PrelBase.Int (T b a) |  C3 (T a a) ;