ghc/tests/deriving/should_compile/drv001.stderr

   1
   2
   3 ================================================================================
   4 Typechecked:
   5 {- nonrec -}
   6 {- nonrec -}
   7 E1{-r3K,x-}{i} =
   8     _/\_ a{-r3A-} ->
   9         E1{-r3K,x-}{i}
  10             {_@_ a{-r3A-}}
  11 {- nonrec -}
  12 D1{-r6,x-}{i} =
  13     _/\_ b{-r3C-} ->
  14         D1{-r6,x-}{i}
  15             {_@_ b{-r3C-}}
  16 D2{-r5,x-}{i} =
  17     _/\_ b{-r3C-} -> \ tpl_B1 ->
  18         D2{-r5,x-}{i}
  19             {_@_ b{-r3C-} tpl_B1}
  20 {- nonrec -}
  21 C1{-rb,x-}{i} =
  22     _/\_ a{-r3H-} b{-r3I-} -> \ tpl_B1 ->
  23         C1{-rb,x-}{i}
  24             {_@_ a{-r3H-} _@_ b{-r3I-} tpl_B1}
  25 C2{-ra,x-}{i} =
  26     _/\_ a{-r3H-} b{-r3I-} -> \ tpl_B1 ->
  27         C2{-ra,x-}{i}
  28             {_@_ a{-r3H-} _@_ b{-r3I-} tpl_B1}
  29 C3{-rd,x-}{i} =
  30     _/\_ a{-r3H-} b{-r3I-} -> \ tpl_B1 ->
  31         C3{-rd,x-}{i}
  32             {_@_ a{-r3H-} _@_ b{-r3I-} tpl_B1}
  33 {- rec -}
  34 AbsBinds [a{-a1fw-}] [] [([a{-a1fw-}], $d3{-r1fM,x-}, d.Eval_a15O)]
  35     d.Eval_a15O =
  36         ({-dict-} [] [])
  37 {- rec -}
  38 AbsBinds [b{-a1fx-}] [] [([b{-a1fx-}], $d4{-r1ge,x-}, d.Eval_a15U)]
  39     d.Eval_a15U =
  40         ({-dict-} [] [])
  41 {- rec -}
  42 AbsBinds
  43 [a{-a1fy-}, b{-a1fz-}]
  44 []
  45 [([a{-a1fy-}, b{-a1fz-}], $d5{-r1gf,x-}, d.Eval_a161)]
  46     d.Eval_a161 =
  47         ({-dict-} [] [])
  48 {- rec -}
  49 AbsBinds
  50 [b{-a178-}]
  51 [d.Eq_a17C]
  52 [([b{-a178-}], $d6{-r1gg,x-}, d.Read_a167)]
  53     d.Eq_a17Y =
  54         PrelBase.$d7{-rc5,p-}
  55     d.Eq_a17Z =
  56         d.Eq_a17C
  57     d.Read_a17W =
  58         $d7{-r1gl,x-}
  59             [PrelBase.Int{-3g,p-}, b{-a178-}]
  60             [d.Eq_a17Y, d.Eq_a17Z]
  61     readsPrec_a1gk =
  62         PrelRead.readsPrec{-rlS,p-}
  63             (X{-r3N,x-} PrelBase.Int{-3g,p-} b{-a178-})
  64             d.Read_a17W
  65     readsPrec_a1gj =
  66         readsPrec_a1gi
  67     AbsBinds [] [] [([], readsPrec_a1gi, readsPrec_a16a)]
  68         ==_a1gp =
  69             ==_a1gc
  70         >>=_a1go =
  71             >>=_a1gb
  72         return_a1gn =
  73             return_a1ga
  74         zero_a1gm =
  75             zero_a1g9
  76         readsPrec_a16a
  77             a_r12Z b_r131
  78                     =   ++_a1gd
  79                             (Y{-r3M,x-} b{-a178-}, PrelBase.String{-rdl,p-})
  80                             (PrelRead.readParen{-rmu,p-}
  81                                  (Y{-r3M,x-} b{-a178-})
  82                                  PrelBase.False{-58,p-}{i}
  83                                  \ c_r133  ->  [ (D1{-r6,x-}{i}
  84                                                       b{-a178-},
  85                                                   d_r135) |
  86                                                    ("D1", d_r135) <- PrelRead.lex{-rmh,p-}
  87                                                                          c_r133
  88                                                    ]
  89                                  b_r131)
  90                             (PrelRead.readParen{-rmu,p-}
  91                                  (Y{-r3M,x-} b{-a178-})
  92                                  a_r12Z >_a1g8 lit_a1g6
  93                                  \ c_r137  ->  [ (D2{-r5,x-}{i}
  94                                                       b{-a178-}
  95                                                       a1_r13b,
  96                                                   b1_r13c) |
  97                                                    ("D2", d_r139) <- PrelRead.lex{-rmh,p-}
  98                                                                          c_r137, (a1_r13b, b1_r13c) <- readsPrec_a1gk
  99                                                                                                            lit_a1g4
 100                                                                                                            d_r139
 101                                                    ]
 102                                  b_r131)
 103     AbsBinds [] [] [([], readList_a1gh, readList_a17x)]
 104         readList_a17x
 105                     =   PrelRead.readList__{-rjw,p-}
 106                             (Y{-r3M,x-} b{-a178-})
 107                             readsPrec_a1gj
 108                                 lit_a1g2
 109     d.Read_a167 =
 110         ({-dict-} [] [readsPrec_a1gi, readList_a1gh])
 111 {- rec -}
 112 AbsBinds
 113 [a{-a1ah-}, b{-a1ai-}]
 114 [d.Eq_a1aM, d.Eq_a1aN]
 115 [([a{-a1ah-}, b{-a1ai-}], $d7{-r1gl,x-}, d.Read_a18a)]
 116     d.Eq_a1b3 =
 117         d.Eq_a1aM
 118     d.Read_a1b1 =
 119         $d1{-r1gw,x-}
 120             a{-a1ah-}
 121             d.Eq_a1b3
 122     readsPrec_a1gv =
 123         PrelRead.readsPrec{-rlS,p-}
 124             (T{-r3L,x-} a{-a1ah-})
 125             d.Read_a1b1
 126     d.Eq_a1be =
 127         d.Eq_a1aN
 128     d.Read_a1bc =
 129         $d6{-r1gg,x-}
 130             b{-a1ai-}
 131             d.Eq_a1be
 132     readsPrec_a1gu =
 133         PrelRead.readsPrec{-rlS,p-}
 134             (Y{-r3M,x-} b{-a1ai-})
 135             d.Read_a1bc
 136     d.Eq_a1bi =
 137         d.Eq_a1aN
 138     d.Eq_a1bj =
 139         d.Eq_a1aM
 140     d.Read_a1bg =
 141         $d7{-r1gl,x-}
 142             [b{-a1ai-}, a{-a1ah-}]
 143             [d.Eq_a1bi, d.Eq_a1bj]
 144     readsPrec_a1gt =
 145         PrelRead.readsPrec{-rlS,p-}
 146             (X{-r3N,x-} b{-a1ai-} a{-a1ah-})
 147             d.Read_a1bg
 148     readsPrec_a1gs =
 149         readsPrec_a1gr
 150     AbsBinds [] [] [([], readsPrec_a1gr, readsPrec_a18d)]
 151         ++_a1gL =
 152             ++_a1g1
 153         >_a1gK =
 154             >_a1g0
 155         lit_a1gJ =
 156             lit_a1fZ
 157         ==_a1gI =
 158             ==_a1fY
 159         lit_a1gH =
 160             lit_a1fX
 161         >>=_a1gG =
 162             >>=_a1fW
 163         return_a1gF =
 164             return_a1fV
 165         zero_a1gE =
 166             zero_a1fU
 167         >_a1gD =
 168             >_a1g0
 169         lit_a1gC =
 170             lit_a1fZ
 171         ==_a1gB =
 172             ==_a1fY
 173         lit_a1gA =
 174             lit_a1fX
 175         >>=_a1gz =
 176             >>=_a1fW
 177         return_a1gy =
 178             return_a1fV
 179         zero_a1gx =
 180             zero_a1fU
 181         readsPrec_a18d
 182             a_r13j b_r13l
 183                     =   ++_a1g1
 184                             (X{-r3N,x-} a{-a1ah-} b{-a1ai-}, PrelBase.String{-rdl,p-})
 185                             (PrelRead.readParen{-rmu,p-}
 186                                  (X{-r3N,x-} a{-a1ah-} b{-a1ai-})
 187                                  a_r13j >_a1g0 lit_a1fZ
 188                                  \ c_r13n  ->  [ (C1{-rb,x-}{i}
 189                                                       [a{-a1ah-}, b{-a1ai-}]
 190                                                       a1_r13r,
 191                                                   b1_r13s) |
 192                                                    ("C1", d_r13p) <- PrelRead.lex{-rmh,p-}
 193                                                                          c_r13n, (a1_r13r, b1_r13s) <- readsPrec_a1gv
 194                                                                                                            lit_a1fX
 195                                                                                                            d_r13p
 196                                                    ]
 197                                  b_r13l)
 198                             (++_a1gL
 199                                  (X{-r3N,x-} a{-a1ah-} b{-a1ai-}, PrelBase.String{-rdl,p-})
 200                                  (PrelRead.readParen{-rmu,p-}
 201                                       (X{-r3N,x-} a{-a1ah-} b{-a1ai-})
 202                                       a_r13j >_a1gK lit_a1gJ
 203                                       \ c_r13u  ->  [ (C2{-ra,x-}{i}
 204                                                            [a{-a1ah-}, b{-a1ai-}]
 205                                                            a1_r13y,
 206                                                        b1_r13z) |
 207                                                         ("C2", d_r13w) <- PrelRead.lex{-rmh,p-}
 208                                                                               c_r13u, (a1_r13y, b1_r13z) <- readsPrec_a1gu
 209                                                                                                                 lit_a1gH
 210                                                                                                                 d_r13w
 211                                                         ]
 212                                       b_r13l)
 213                                  (PrelRead.readParen{-rmu,p-}
 214                                       (X{-r3N,x-} a{-a1ah-} b{-a1ai-})
 215                                       a_r13j >_a1gD lit_a1gC
 216                                       \ c_r13B  ->  [ (C3{-rd,x-}{i}
 217                                                            [a{-a1ah-}, b{-a1ai-}]
 218                                                            a1_r13F,
 219                                                        b1_r13G) |
 220                                                         ("C3", d_r13D) <- PrelRead.lex{-rmh,p-}
 221                                                                               c_r13B, (a1_r13F, b1_r13G) <- readsPrec_a1gt
 222                                                                                                                 lit_a1gA
 223                                                                                                                 d_r13D
 224                                                         ]
 225                                       b_r13l))
 226     AbsBinds [] [] [([], readList_a1gq, readList_a1aH)]
 227         readList_a1aH
 228                     =   PrelRead.readList__{-rjw,p-}
 229                             (X{-r3N,x-} a{-a1ah-} b{-a1ai-})
 230                             readsPrec_a1gs
 231                                 lit_a1fT
 232     d.Read_a18a =
 233         ({-dict-} [] [readsPrec_a1gr, readList_a1gq])
 234 {- rec -}
 235 AbsBinds
 236 [b{-a1bz-}]
 237 [d.Eq_a1c4]
 238 [([b{-a1bz-}], $d8{-r1gM,x-}, d.Show_a1bs)]
 239     d.Eq_a1cg =
 240         PrelBase.$d7{-rc5,p-}
 241     d.Eq_a1ch =
 242         d.Eq_a1c4
 243     d.Show_a1ce =
 244         $d9{-r1gR,x-}
 245             [PrelBase.Int{-3g,p-}, b{-a1bz-}]
 246             [d.Eq_a1cg, d.Eq_a1ch]
 247     showsPrec_a1gQ =
 248         PrelBase.showsPrec{-rdi,p-}
 249             (X{-r3N,x-} PrelBase.Int{-3g,p-} b{-a1bz-})
 250             d.Show_a1ce
 251     showsPrec_a1gP =
 252         showsPrec_a1gO
 253     AbsBinds [] [] [([], showsPrec_a1gO, showsPrec_a1bv)]
 254         lit_a1gS =
 255             lit_a1fR
 256         showsPrec_a1bv
 257             a_r13N D1{-r6,x-}{i}
 258                     =   PrelBase.showString{-rhV,p-}
 259                             "D1"
 260         showsPrec_a1bv
 261             a_r13Q (D2{-r5,x-}{i} b1_r13S)
 262                     =   PrelBase.showParen{-rhS,p-}
 263                             a_r13Q >=_a1fS lit_a1fR
 264                             PrelBase..{-rd1,p-}
 265                                 [PrelBase.String{-rdl,p-}, PrelBase.String{-rdl,p-}, PrelBase.String{-rdl,p-}]
 266                                 PrelBase.showString{-rhV,p-}
 267                                     "D2 "
 268                                 showsPrec_a1gQ
 269                                     lit_a1gS b1_r13S
 270     AbsBinds [] [] [([], showList_a1gN, showList_a1bZ)]
 271         showList_a1bZ
 272                     =   PrelBase.showList__{-r3J,p-}
 273                             (Y{-r3M,x-} b{-a1bz-})
 274                             showsPrec_a1gP
 275                                 lit_a1fQ
 276     d.Show_a1bs =
 277         ({-dict-} [] [showsPrec_a1gO, showList_a1gN])
 278 {- rec -}
 279 AbsBinds
 280 [a{-a1cA-}, b{-a1cD-}]
 281 [d.Eq_a1dJ, d.Eq_a1dK]
 282 [([a{-a1cA-}, b{-a1cD-}], $d9{-r1gR,x-}, d.Show_a1cr)]
 283     d.Eq_a1dW =
 284         d.Eq_a1dJ
 285     d.Show_a1dU =
 286         $d2{-r1gZ,x-}
 287             a{-a1cA-}
 288             d.Eq_a1dW
 289     showsPrec_a1gY =
 290         PrelBase.showsPrec{-rdi,p-}
 291             (T{-r3L,x-} a{-a1cA-})
 292             d.Show_a1dU
 293     d.Eq_a1e0 =
 294         d.Eq_a1dK
 295     d.Show_a1dY =
 296         $d8{-r1gM,x-}
 297             b{-a1cD-}
 298             d.Eq_a1e0
 299     showsPrec_a1gX =
 300         PrelBase.showsPrec{-rdi,p-}
 301             (Y{-r3M,x-} b{-a1cD-})
 302             d.Show_a1dY
 303     d.Eq_a1e4 =
 304         d.Eq_a1dK
 305     d.Eq_a1e5 =
 306         d.Eq_a1dJ
 307     d.Show_a1e2 =
 308         $d9{-r1gR,x-}
 309             [b{-a1cD-}, a{-a1cA-}]
 310             [d.Eq_a1e4, d.Eq_a1e5]
 311     showsPrec_a1gW =
 312         PrelBase.showsPrec{-rdi,p-}
 313             (X{-r3N,x-} b{-a1cD-} a{-a1cA-})
 314             d.Show_a1e2
 315     showsPrec_a1gV =
 316         showsPrec_a1gU
 317     AbsBinds [] [] [([], showsPrec_a1gU, showsPrec_a1cu)]
 318         lit_a1h6 =
 319             lit_a1fO
 320         >=_a1h5 =
 321             >=_a1fP
 322         lit_a1h4 =
 323             lit_a1fO
 324         lit_a1h3 =
 325             lit_a1fO
 326         >=_a1h2 =
 327             >=_a1fP
 328         lit_a1h1 =
 329             lit_a1fO
 330         lit_a1h0 =
 331             lit_a1fO
 332         showsPrec_a1cu
 333             a_r13Z (C1{-rb,x-}{i} b1_r141)
 334                     =   PrelBase.showParen{-rhS,p-}
 335                             a_r13Z >=_a1fP lit_a1fO
 336                             PrelBase..{-rd1,p-}
 337                                 [PrelBase.String{-rdl,p-}, PrelBase.String{-rdl,p-}, PrelBase.String{-rdl,p-}]
 338                                 PrelBase.showString{-rhV,p-}
 339                                     "C1 "
 340                                 showsPrec_a1gY
 341                                     lit_a1h6 b1_r141
 342         showsPrec_a1cu
 343             a_r143 (C2{-ra,x-}{i} b1_r145)
 344                     =   PrelBase.showParen{-rhS,p-}
 345                             a_r143 >=_a1h5 lit_a1h4
 346                             PrelBase..{-rd1,p-}
 347                                 [PrelBase.String{-rdl,p-}, PrelBase.String{-rdl,p-}, PrelBase.String{-rdl,p-}]
 348                                 PrelBase.showString{-rhV,p-}
 349                                     "C2 "
 350                                 showsPrec_a1gX
 351                                     lit_a1h3 b1_r145
 352         showsPrec_a1cu
 353             a_r147 (C3{-rd,x-}{i} b1_r149)
 354                     =   PrelBase.showParen{-rhS,p-}
 355                             a_r147 >=_a1h2 lit_a1h1
 356                             PrelBase..{-rd1,p-}
 357                                 [PrelBase.String{-rdl,p-}, PrelBase.String{-rdl,p-}, PrelBase.String{-rdl,p-}]
 358                                 PrelBase.showString{-rhV,p-}
 359                                     "C3 "
 360                                 showsPrec_a1gW
 361                                     lit_a1h0 b1_r149
 362     AbsBinds [] [] [([], showList_a1gT, showList_a1dE)]
 363         showList_a1dE
 364                     =   PrelBase.showList__{-r3J,p-}
 365                             (X{-r3N,x-} a{-a1cA-} b{-a1cD-})
 366                             showsPrec_a1gV
 367                                 lit_a1fN
 368     d.Show_a1cr =
 369         ({-dict-} [] [showsPrec_a1gU, showList_a1gT])
 370 {- rec -}
 371 AbsBinds
 372 [a{-a1ek-}]
 373 [d.Eq_a1es]
 374 [([a{-a1ek-}], $d1{-r1gw,x-}, d.Read_a1ee)]
 375     d.Read_a1ew =
 376         d.Read_a1ee
 377     $mreadList_a1h8 =
 378         PrelRead.$mreadList{-rlO,p-}
 379             (T{-r3L,x-} a{-a1ek-})
 380             d.Read_a1ew
 381     AbsBinds [] [] [([], readsPrec_a1h7, readsPrec_a1eh)]
 382         readsPrec_a1eh
 383             =   IOBase.error{-87,p-}
 384                     (PrelBase.Int{-3g,p-}
 385                      -> PrelBase.String{-rdl,p-}
 386                      -> [(T{-r3L,x-} a{-a1ek-}, PrelBase.String{-rdl,p-})])
 387                     "read"
 388     AbsBinds [] [] [([], readList_a1en, readList_a1ep)]
 389         readList_a1ep
 390             =   $mreadList_a1h8
 391     d.Read_a1ee =
 392         ({-dict-} [] [readsPrec_a1h7, readList_a1en])
 393 {- rec -}
 394 AbsBinds
 395 [a{-a1eJ-}]
 396 [d.Eq_a1eR]
 397 [([a{-a1eJ-}], $d2{-r1gZ,x-}, d.Show_a1eD)]
 398     d.Show_a1eV =
 399         d.Show_a1eD
 400     $mshowList_a1ha =
 401         PrelBase.$mshowList{-rcA,p-}
 402             (T{-r3L,x-} a{-a1eJ-})
 403             d.Show_a1eV
 404     AbsBinds [] [] [([], showsPrec_a1h9, showsPrec_a1eG)]
 405         showsPrec_a1eG
 406             =   IOBase.error{-87,p-}
 407                     (PrelBase.Int{-3g,p-}
 408                      -> T{-r3L,x-} a{-a1eJ-}
 409                      -> PrelBase.String{-rdl,p-}
 410                      -> PrelBase.String{-rdl,p-})
 411                     "show"
 412     AbsBinds [] [] [([], showList_a1eM, showList_a1eO)]
 413         showList_a1eO
 414             =   $mshowList_a1ha
 415     d.Show_a1eD =
 416         ({-dict-} [] [showsPrec_a1h9, showList_a1eM])
 417 {- nonrec -}
 418 d.MonadPlus_a1eY =
 419     PrelBase.$d22{-rbr,p-}
 420 ++_a1gd =
 421     PrelBase.++{-rfN,p-}
 422         PrelBase.[]{-3j,p-}
 423         d.MonadPlus_a1eY
 424 d.Eq_a1f3 =
 425     PrelBase.$d33{-rbD,p-}
 426 d.Eq_a1f1 =
 427     PrelBase.$d27{-rbw,p-}
 428         PrelBase.Char{-38,p-}
 429         d.Eq_a1f3
 430 ==_a1gc =
 431     PrelBase.=={-8Y,p-}
 432         [PrelBase.Char{-38,p-}]
 433         d.Eq_a1f1
 434 d.Monad_a1f6 =
 435     PrelBase.$d24{-rbt,p-}
 436 >>=_a1gb =
 437     PrelBase.>>={-811,p-}
 438         PrelBase.[]{-3j,p-}
 439         d.Monad_a1f6
 440 d.Monad_a1f9 =
 441     d.Monad_a1f6
 442 return_a1ga =
 443     PrelBase.return{-816,p-}
 444         PrelBase.[]{-3j,p-}
 445         d.Monad_a1f9
 446 d.MonadZero_a1fb =
 447     PrelBase.$d23{-rbs,p-}
 448 zero_a1g9 =
 449     PrelBase.zero{-810,p-}
 450         PrelBase.[]{-3j,p-}
 451         d.MonadZero_a1fb
 452 d.Ord_a1fe =
 453     PrelBase.$d6{-rc4,p-}
 454 >_a1g8 =
 455     PrelBase.>{-rdf,p-}
 456         PrelBase.Int{-3g,p-}
 457         d.Ord_a1fe
 458 d.Num_a1fi =
 459     PrelBase.$d3{-rbz,p-}
 460 fromInt_a1g7 =
 461     PrelBase.fromInt{-8R,p-}
 462         PrelBase.Int{-3g,p-}
 463         d.Num_a1fi
 464 lit_a1g6 =
 465     fromInt_a1g7
 466         PrelBase.I#{-5b,p-}{i}
 467             9#
 468 fromInt_a1g5 =
 469     fromInt_a1g7
 470 lit_a1g4 =
 471     fromInt_a1g5
 472         PrelBase.I#{-5b,p-}{i}
 473             10#
 474 fromInt_a1g3 =
 475     fromInt_a1g7
 476 lit_a1g2 =
 477     fromInt_a1g3
 478         PrelBase.I#{-5b,p-}{i}
 479             0#
 480 ++_a1g1 =
 481     ++_a1gd
 482 >_a1g0 =
 483     >_a1g8
 484 lit_a1fZ =
 485     lit_a1g6
 486 ==_a1fY =
 487     ==_a1gc
 488 lit_a1fX =
 489     lit_a1g4
 490 >>=_a1fW =
 491     >>=_a1gb
 492 return_a1fV =
 493     return_a1ga
 494 zero_a1fU =
 495     zero_a1g9
 496 lit_a1fT =
 497     lit_a1g2
 498 d.Ord_a1fn =
 499     d.Ord_a1fe
 500 >=_a1fS =
 501     PrelBase.>={-8Z,p-}
 502         PrelBase.Int{-3g,p-}
 503         d.Ord_a1fn
 504 lit_a1fR =
 505     lit_a1g4
 506 lit_a1fQ =
 507     lit_a1g2
 508 >=_a1fP =
 509     >=_a1fS
 510 lit_a1fO =
 511     lit_a1g4
 512 lit_a1fN =
 513     lit_a1g2
 514 ghc: module version changed to 1; reason: no old .hi file