ghc/tests/deriving/should_compile/drv002.stderr

   1
   2
   3 ================================================================================
   4 Typechecked:
   5 {- nonrec -}
   6 {- nonrec -}
   7 E1{-r3B,x-}{i} =
   8     _/\_ a{-r3t-} ->
   9         E1{-r3B,x-}{i}
  10             {_@_ a{-r3t-}}
  11 {- nonrec -}
  12 C1{-r6,x-}{i} =
  13     _/\_ a{-r3v-} b{-r3w-} -> \ tpl_B1 ->
  14         C1{-r6,x-}{i}
  15             {_@_ a{-r3v-} _@_ b{-r3w-} tpl_B1}
  16 C2{-r5,x-}{i} =
  17     _/\_ a{-r3v-} b{-r3w-} -> \ tpl_B1 ->
  18         C2{-r5,x-}{i}
  19             {_@_ a{-r3v-} _@_ b{-r3w-} tpl_B1}
  20 {- rec -}
  21 AbsBinds [a{-a1a9-}] [] [([a{-a1a9-}], $d3{-r1ag,x-}, d.Eval_a14Q)]
  22     d.Eval_a14Q =
  23         ({-dict-} [] [])
  24 {- rec -}
  25 AbsBinds
  26 [a{-a1aa-}, b{-a1ab-}]
  27 []
  28 [([a{-a1aa-}, b{-a1ab-}], $d4{-r1aw,x-}, d.Eval_a14X)]
  29     d.Eval_a14X =
  30         ({-dict-} [] [])
  31 {- rec -}
  32 AbsBinds
  33 [a{-a16r-}, b{-a16s-}]
  34 [d.Eq_a16W]
  35 [([a{-a16r-}, b{-a16s-}], $d5{-r1ax,x-}, d.Read_a154)]
  36     d.Eq_a17c =
  37         d.Eq_a16W
  38     d.Read_a17a =
  39         $d1{-r1aD,x-}
  40             a{-a16r-}
  41             d.Eq_a17c
  42     readsPrec_a1aC =
  43         PrelRead.readsPrec{-r62,p-}
  44             (T{-r3C,x-} a{-a16r-})
  45             d.Read_a17a
  46     d.Eq_a17p =
  47         d.Eq_a16W
  48     d.Eq_a17n =
  49         PrelBase.$d27{-rf7,p-}
  50             a{-a16r-}
  51             d.Eq_a17p
  52     d.Read_a17l =
  53         $d5{-r1ax,x-}
  54             [[a{-a16r-}], [b{-a16s-}]]
  55             d.Eq_a17n
  56     readsPrec_a1aB =
  57         PrelRead.readsPrec{-r62,p-}
  58             (Z{-r3D,x-} [a{-a16r-}] [b{-a16s-}])
  59             d.Read_a17l
  60     readsPrec_a1aA =
  61         readsPrec_a1az
  62     AbsBinds [] [] [([], readsPrec_a1az, readsPrec_a157)]
  63         >_a1aK =
  64             >_a1au
  65         lit_a1aJ =
  66             lit_a1as
  67         ==_a1aI =
  68             ==_a1ar
  69         lit_a1aH =
  70             lit_a1ap
  71         >>=_a1aG =
  72             >>=_a1ao
  73         return_a1aF =
  74             return_a1an
  75         zero_a1aE =
  76             zero_a1am
  77         readsPrec_a157
  78             a_r12I b_r12K
  79                     =   ++_a1av
  80                             (Z{-r3D,x-} a{-a16r-} b{-a16s-}, PrelBase.String{-r7r,p-})
  81                             (PrelRead.readParen{-r6E,p-}
  82                                  (Z{-r3D,x-} a{-a16r-} b{-a16s-})
  83                                  a_r12I >_a1au lit_a1as
  84                                  \ c_r12M  ->  [ (C1{-r6,x-}{i}
  85                                                       [a{-a16r-}, b{-a16s-}]
  86                                                       a1_r12Q,
  87                                                   b1_r12R) |
  88                                                    ("C1", d_r12O) <- PrelRead.lex{-r6r,p-}
  89                                                                          c_r12M, (a1_r12Q, b1_r12R) <- readsPrec_a1aC
  90                                                                                                            lit_a1ap
  91                                                                                                            d_r12O
  92                                                    ]
  93                                  b_r12K)
  94                             (PrelRead.readParen{-r6E,p-}
  95                                  (Z{-r3D,x-} a{-a16r-} b{-a16s-})
  96                                  a_r12I >_a1aK lit_a1aJ
  97                                  \ c_r12T  ->  [ (C2{-r5,x-}{i}
  98                                                       [a{-a16r-}, b{-a16s-}]
  99                                                       a1_r12X,
 100                                                   b1_r12Y) |
 101                                                    ("C2", d_r12V) <- PrelRead.lex{-r6r,p-}
 102                                                                          c_r12T, (a1_r12X, b1_r12Y) <- readsPrec_a1aB
 103                                                                                                            lit_a1aH
 104                                                                                                            d_r12V
 105                                                    ]
 106                                  b_r12K)
 107     AbsBinds [] [] [([], readList_a1ay, readList_a16R)]
 108         readList_a16R
 109                     =   PrelRead.readList__{-r3A,p-}
 110                             (Z{-r3D,x-} a{-a16r-} b{-a16s-})
 111                             readsPrec_a1aA
 112                                 lit_a1ak
 113     d.Read_a154 =
 114         ({-dict-} [] [readsPrec_a1az, readList_a1ay])
 115 {- rec -}
 116 AbsBinds
 117 [a{-a17H-}, b{-a17K-}]
 118 [d.Eq_a18v]
 119 [([a{-a17H-}, b{-a17K-}], $d6{-r1aL,x-}, d.Show_a17y)]
 120     d.Eq_a18H =
 121         d.Eq_a18v
 122     d.Show_a18F =
 123         $d2{-r1aR,x-}
 124             a{-a17H-}
 125             d.Eq_a18H
 126     showsPrec_a1aQ =
 127         PrelBase.showsPrec{-rgT,p-}
 128             (T{-r3C,x-} a{-a17H-})
 129             d.Show_a18F
 130     d.Eq_a18N =
 131         d.Eq_a18v
 132     d.Eq_a18L =
 133         PrelBase.$d27{-rf7,p-}
 134             a{-a17H-}
 135             d.Eq_a18N
 136     d.Show_a18J =
 137         $d6{-r1aL,x-}
 138             [[a{-a17H-}], [b{-a17K-}]]
 139             d.Eq_a18L
 140     showsPrec_a1aP =
 141         PrelBase.showsPrec{-rgT,p-}
 142             (Z{-r3D,x-} [a{-a17H-}] [b{-a17K-}])
 143             d.Show_a18J
 144     showsPrec_a1aO =
 145         showsPrec_a1aN
 146     AbsBinds [] [] [([], showsPrec_a1aN, showsPrec_a17B)]
 147         lit_a1aV =
 148             lit_a1ai
 149         >=_a1aU =
 150             >=_a1aj
 151         lit_a1aT =
 152             lit_a1ai
 153         lit_a1aS =
 154             lit_a1ai
 155         showsPrec_a17B
 156             a_r135 (C1{-r6,x-}{i} b1_r137)
 157                     =   PrelBase.showParen{-rlt,p-}
 158                             a_r135 >=_a1aj lit_a1ai
 159                             PrelBase..{-rgC,p-}
 160                                 [PrelBase.String{-r7r,p-}, PrelBase.String{-r7r,p-}, PrelBase.String{-r7r,p-}]
 161                                 PrelBase.showString{-rlw,p-}
 162                                     "C1 "
 163                                 showsPrec_a1aQ
 164                                     lit_a1aV b1_r137
 165         showsPrec_a17B
 166             a_r139 (C2{-r5,x-}{i} b1_r13b)
 167                     =   PrelBase.showParen{-rlt,p-}
 168                             a_r139 >=_a1aU lit_a1aT
 169                             PrelBase..{-rgC,p-}
 170                                 [PrelBase.String{-r7r,p-}, PrelBase.String{-r7r,p-}, PrelBase.String{-r7r,p-}]
 171                                 PrelBase.showString{-rlw,p-}
 172                                     "C2 "
 173                                 showsPrec_a1aP
 174                                     lit_a1aS b1_r13b
 175     AbsBinds [] [] [([], showList_a1aM, showList_a18q)]
 176         showList_a18q
 177                     =   PrelBase.showList__{-rlr,p-}
 178                             (Z{-r3D,x-} a{-a17H-} b{-a17K-})
 179                             showsPrec_a1aO
 180                                 lit_a1ah
 181     d.Show_a17y =
 182         ({-dict-} [] [showsPrec_a1aN, showList_a1aM])
 183 {- rec -}
 184 AbsBinds
 185 [a{-a191-}]
 186 [d.Eq_a199]
 187 [([a{-a191-}], $d1{-r1aD,x-}, d.Read_a18V)]
 188     d.Read_a19d =
 189         d.Read_a18V
 190     $mreadList_a1aX =
 191         PrelRead.$mreadList{-r5Y,p-}
 192             (T{-r3C,x-} a{-a191-})
 193             d.Read_a19d
 194     AbsBinds [] [] [([], readsPrec_a1aW, readsPrec_a18Y)]
 195         readsPrec_a18Y
 196             =   IOBase.error{-87,p-}
 197                     (PrelBase.Int{-3g,p-}
 198                      -> PrelBase.String{-r7r,p-}
 199                      -> [(T{-r3C,x-} a{-a191-}, PrelBase.String{-r7r,p-})])
 200                     "read"
 201     AbsBinds [] [] [([], readList_a194, readList_a196)]
 202         readList_a196
 203             =   $mreadList_a1aX
 204     d.Read_a18V =
 205         ({-dict-} [] [readsPrec_a1aW, readList_a194])
 206 {- rec -}
 207 AbsBinds
 208 [a{-a19q-}]
 209 [d.Eq_a19y]
 210 [([a{-a19q-}], $d2{-r1aR,x-}, d.Show_a19k)]
 211     d.Show_a19C =
 212         d.Show_a19k
 213     $mshowList_a1aZ =
 214         PrelBase.$mshowList{-rgb,p-}
 215             (T{-r3C,x-} a{-a19q-})
 216             d.Show_a19C
 217     AbsBinds [] [] [([], showsPrec_a1aY, showsPrec_a19n)]
 218         showsPrec_a19n
 219             =   IOBase.error{-87,p-}
 220                     (PrelBase.Int{-3g,p-}
 221                      -> T{-r3C,x-} a{-a19q-}
 222                      -> PrelBase.String{-r7r,p-}
 223                      -> PrelBase.String{-r7r,p-})
 224                     "show"
 225     AbsBinds [] [] [([], showList_a19t, showList_a19v)]
 226         showList_a19v
 227             =   $mshowList_a1aZ
 228     d.Show_a19k =
 229         ({-dict-} [] [showsPrec_a1aY, showList_a19t])
 230 {- nonrec -}
 231 d.MonadPlus_a19F =
 232     PrelBase.$d22{-rf2,p-}
 233 ++_a1av =
 234     PrelBase.++{-rjn,p-}
 235         PrelBase.[]{-3j,p-}
 236         d.MonadPlus_a19F
 237 d.Ord_a19I =
 238     PrelBase.$d6{-rfF,p-}
 239 >_a1au =
 240     PrelBase.>{-rgQ,p-}
 241         PrelBase.Int{-3g,p-}
 242         d.Ord_a19I
 243 d.Num_a19M =
 244     PrelBase.$d3{-rfa,p-}
 245 fromInt_a1at =
 246     PrelBase.fromInt{-8R,p-}
 247         PrelBase.Int{-3g,p-}
 248         d.Num_a19M
 249 lit_a1as =
 250     fromInt_a1at
 251         PrelBase.I#{-5b,p-}{i}
 252             9#
 253 d.Eq_a19R =
 254     PrelBase.$d33{-rfe,p-}
 255 d.Eq_a19P =
 256     PrelBase.$d27{-rf7,p-}
 257         PrelBase.Char{-38,p-}
 258         d.Eq_a19R
 259 ==_a1ar =
 260     PrelBase.=={-8Y,p-}
 261         [PrelBase.Char{-38,p-}]
 262         d.Eq_a19P
 263 fromInt_a1aq =
 264     fromInt_a1at
 265 lit_a1ap =
 266     fromInt_a1aq
 267         PrelBase.I#{-5b,p-}{i}
 268             10#
 269 d.Monad_a19V =
 270     PrelBase.$d24{-rf4,p-}
 271 >>=_a1ao =
 272     PrelBase.>>={-811,p-}
 273         PrelBase.[]{-3j,p-}
 274         d.Monad_a19V
 275 d.Monad_a19Y =
 276     d.Monad_a19V
 277 return_a1an =
 278     PrelBase.return{-816,p-}
 279         PrelBase.[]{-3j,p-}
 280         d.Monad_a19Y
 281 d.MonadZero_a1a0 =
 282     PrelBase.$d23{-rf3,p-}
 283 zero_a1am =
 284     PrelBase.zero{-810,p-}
 285         PrelBase.[]{-3j,p-}
 286         d.MonadZero_a1a0
 287 fromInt_a1al =
 288     fromInt_a1at
 289 lit_a1ak =
 290     fromInt_a1al
 291         PrelBase.I#{-5b,p-}{i}
 292             0#
 293 d.Ord_a1a4 =
 294     d.Ord_a19I
 295 >=_a1aj =
 296     PrelBase.>={-8Z,p-}
 297         PrelBase.Int{-3g,p-}
 298         d.Ord_a1a4
 299 lit_a1ai =
 300     lit_a1ap
 301 lit_a1ah =
 302     lit_a1ak
 303 ghc: module version changed to 1; reason: no old .hi file