ghc/tests/deriving/should_compile/drv003.stderr

   1
   2
   3 ================================================================================
   4 Typechecked:
   5 {- nonrec -}
   6 MkBar{-r3E,x-}{i} =
   7     _/\_ a{-r3u-} -> \ tpl_B1 tpl_B2 ->
   8         MkBar{-r3E,x-}{i}
   9             {_@_ a{-r3u-} tpl_B1 tpl_B2}
  10 {- nonrec -}
  11 MkFoo{-r3G,x-}{i} =
  12     _/\_ a{-r3z-} -> \ tpl_B1 tpl_B2 ->
  13         MkFoo{-r3G,x-}{i}
  14             {_@_ a{-r3z-} tpl_B1 tpl_B2}
  15 {- nonrec -}
  16 C1{-r9,x-}{i} =
  17     _/\_ a{-r3B-} b{-r3C-} -> \ tpl_B1 tpl_B2 ->
  18         C1{-r9,x-}{i}
  19             {_@_ a{-r3B-} _@_ b{-r3C-} tpl_B1 tpl_B2}
  20 C2{-r8,x-}{i} =
  21     _/\_ a{-r3B-} b{-r3C-} -> \ tpl_B1 tpl_B2 ->
  22         C2{-r8,x-}{i}
  23             {_@_ a{-r3B-} _@_ b{-r3C-} tpl_B1 tpl_B2}
  24 C3{-rb,x-}{i} =
  25     _/\_ a{-r3B-} b{-r3C-} -> \ tpl_B1 ->
  26         C3{-rb,x-}{i}
  27             {_@_ a{-r3B-} _@_ b{-r3C-} tpl_B1}
  28 {- nonrec -}
  29 {- nonrec -}
  30 {- rec -}
  31 AbsBinds
  32 [a{-aHF-}, b{-aHG-}]
  33 [d.Eq_aIL, d.Ping_aIM, d.Eq_aIN, d.Ping_aIO]
  34 [([a{-aHF-}, b{-aHG-}], $d3{-rKF,x-}, d.Eq_aHt)]
  35     d.Eq_aIU =
  36         d.Eq_aIL
  37     d.Eq_aIS =
  38         $d2{-rKO,x-}
  39             a{-aHF-}
  40             d.Eq_aIU
  41     ==_aKN =
  42         PrelBase.=={-8Y,p-}
  43             (Foo{-r3H,x-} a{-aHF-})
  44             d.Eq_aIS
  45     d.Ping_aIY =
  46         d.Ping_aIO
  47     d.Eq_aIW =
  48         $d1{-rKP,x-}
  49             b{-aHG-}
  50             d.Ping_aIY
  51     ==_aKM =
  52         PrelBase.=={-8Y,p-}
  53             (Bar{-r3F,x-} b{-aHG-})
  54             d.Eq_aIW
  55     d.Eq_aJ4 =
  56         d.Eq_aIN
  57     d.Ping_aJ5 =
  58         d.Ping_aIO
  59     d.Eq_aJ6 =
  60         d.Eq_aIL
  61     d.Ping_aJ7 =
  62         d.Ping_aIM
  63     d.Eq_aJ2 =
  64         $d3{-rKF,x-}
  65             [b{-aHG-}, a{-aHF-}]
  66             [d.Eq_aJ4, d.Ping_aJ5, d.Eq_aJ6, d.Ping_aJ7]
  67     ==_aKL =
  68         PrelBase.=={-8Y,p-}
  69             (T{-r3I,x-} b{-aHG-} a{-aHF-})
  70             d.Eq_aJ2
  71     d.Eq_aJb =
  72         d.Eq_aIL
  73     d.Ping_aJc =
  74         d.Ping_aIM
  75     d.Eq_aJd =
  76         d.Eq_aIL
  77     d.Ping_aJe =
  78         d.Ping_aIM
  79     d.Eq_aJ9 =
  80         $d3{-rKF,x-}
  81             [a{-aHF-}, a{-aHF-}]
  82             [d.Eq_aJb, d.Ping_aJc, d.Eq_aJd, d.Ping_aJe]
  83     ==_aKK =
  84         PrelBase.=={-8Y,p-}
  85             (T{-r3I,x-} a{-aHF-} a{-aHF-})
  86             d.Eq_aJ9
  87     ==_aKJ =
  88         ==_aKI
  89     AbsBinds [] [] [([], ==_aKI, ==_aHw)]
  90         ==_aHw
  91             (C1{-r9,x-}{i} a1_rGO a2_rGP) (C1{-r9,x-}{i} b1_rGR b2_rGS)
  92                     =   (a1_rGO ==_aKN b1_rGR)
  93                         PrelBase.&&{-rcW,p-} (a2_rGP ==_aKM b2_rGS)
  94         ==_aHw
  95             (C2{-r8,x-}{i} a1_rGU a2_rGV) (C2{-r8,x-}{i} b1_rGX b2_rGY)
  96                     =   (a1_rGU ==_aKG b1_rGX)
  97                         PrelBase.&&{-rcW,p-} (a2_rGV ==_aKL b2_rGY)
  98         ==_aHw
  99             (C3{-rb,x-}{i} a1_rH0) (C3{-rb,x-}{i} b1_rH2)
 100                     =   a1_rH0 ==_aKK b1_rH2
 101         ==_aHw
 102             a_rH4 b_rH6
 103                     =   PrelBase.False{-58,p-}{i}
 104     AbsBinds [] [] [([], /=_aKH, /=_aIE)]
 105         /=_aIE
 106             a_rHa b_rHc
 107                     =   PrelBase.not{-r3D,p-}
 108                             ==_aKJ
 109                                 a_rHa b_rHc
 110     d.Eq_aHt =
 111         ({-dict-} [] [==_aKI, /=_aKH])
 112 {- rec -}
 113 AbsBinds [a{-aKB-}] [] [([a{-aKB-}], $d4{-rKR,x-}, d.Eval_aJo)]
 114     d.Eval_aJo =
 115         ({-dict-} [] [])
 116 {- rec -}
 117 AbsBinds [a{-aKC-}] [] [([a{-aKC-}], $d5{-rKT,x-}, d.Eval_aJu)]
 118     d.Eval_aJu =
 119         ({-dict-} [] [])
 120 {- rec -}
 121 AbsBinds
 122 [a{-aKD-}, b{-aKE-}]
 123 []
 124 [([a{-aKD-}, b{-aKE-}], $d6{-rKV,x-}, d.Eval_aJB)]
 125     d.Eval_aJB =
 126         ({-dict-} [] [])
 127 {- rec -}
 128 AbsBinds
 129 [b{-aJO-}]
 130 [d.Ping_aJX]
 131 [([b{-aJO-}], $d1{-rKP,x-}, d.Eq_aJH)]
 132     d.Eq_aK1 =
 133         d.Eq_aJH
 134     $m==_aKX =
 135         PrelBase.$m=={-rcc,p-}
 136             (Bar{-r3F,x-} b{-aJO-})
 137             d.Eq_aK1
 138     d.Eq_aK3 =
 139         d.Eq_aJH
 140     $m/=_aKW =
 141         PrelBase.$m/={-rc9,p-}
 142             (Bar{-r3F,x-} b{-aJO-})
 143             d.Eq_aK3
 144     AbsBinds [] [] [([], ==_aJJ, ==_aJL)]
 145         ==_aJL
 146             =   $m==_aKX
 147     AbsBinds [] [] [([], /=_aJS, /=_aJU)]
 148         /=_aJU
 149             =   $m/=_aKW
 150     d.Eq_aJH =
 151         ({-dict-} [] [==_aJJ, /=_aJS])
 152 {- rec -}
 153 AbsBinds
 154 [a{-aKh-}]
 155 [d.Eq_aKq]
 156 [([a{-aKh-}], $d2{-rKO,x-}, d.Eq_aKa)]
 157     d.Eq_aKu =
 158         d.Eq_aKa
 159     $m==_aKZ =
 160         PrelBase.$m=={-rcc,p-}
 161             (Foo{-r3H,x-} a{-aKh-})
 162             d.Eq_aKu
 163     d.Eq_aKw =
 164         d.Eq_aKa
 165     $m/=_aKY =
 166         PrelBase.$m/={-rc9,p-}
 167             (Foo{-r3H,x-} a{-aKh-})
 168             d.Eq_aKw
 169     AbsBinds [] [] [([], ==_aKc, ==_aKe)]
 170         ==_aKe
 171             =   $m==_aKZ
 172     AbsBinds [] [] [([], /=_aKl, /=_aKn)]
 173         /=_aKn
 174             =   $m/=_aKY
 175     d.Eq_aKa =
 176         ({-dict-} [] [==_aKc, /=_aKl])
 177 {- nonrec -}
 178 d.Eq_aKA =
 179     PrelBase.$d7{-rc2,p-}
 180 ==_aKG =
 181     PrelBase.=={-8Y,p-}
 182         PrelBase.Int{-3g,p-}
 183         d.Eq_aKA
 184 ghc: module version changed to 1; reason: no old .hi file