ghc/tests/deriving/should_compile/drv006.stderr

   1
   2
   3 ================================================================================
   4 Typechecked:
   5 {- nonrec -}
   6 {- nonrec -}
   7 MkBar{-r4H,x-}{i} =
   8     _/\_ a{-r4B-} b{-r4C-} -> \ tpl_B1 tpl_B2 tpl_B3 tpl_B4 tpl_B5 ->
   9         MkBar{-r4H,x-}{i}
  10             {_@_ a{-r4B-} _@_ b{-r4C-} tpl_B1 tpl_B2 tpl_B3 tpl_B4 tpl_B5}
  11 {- nonrec -}
  12 Foo1{-r4t,x-}{i} =
  13     Foo1{-r4t,x-}{i}
  14         {}
  15 Foo2{-r4s,x-}{i} =
  16     Foo2{-r4s,x-}{i}
  17         {}
  18 Foo3{-r4u,x-}{i} =
  19     Foo3{-r4u,x-}{i}
  20         {}
  21 Foo4{-r4v,x-}{i} =
  22     Foo4{-r4v,x-}{i}
  23         {}
  24 Foo5{-r4w,x-}{i} =
  25     Foo5{-r4w,x-}{i}
  26         {}
  27 Foo6{-r4x,x-}{i} =
  28     Foo6{-r4x,x-}{i}
  29         {}
  30 Foo7{-r4y,x-}{i} =
  31     Foo7{-r4y,x-}{i}
  32         {}
  33 Foo8{-r4z,x-}{i} =
  34     Foo8{-r4z,x-}{i}
  35         {}
  36 {- rec -}
  37 AbsBinds [] [] [([], $d1{-r193,x-}, d.Eq_a14i)]
  38     ==_a19a =
  39         ==_a199
  40     AbsBinds [] [] [([], ==_a199, ==_a14l)]
  41         ==_a14l
  42             a_r10n b_r10p
  43                     =   case
  44                             con2tag_Foo#_r101
  45                                 a_r10n
  46                         of
  47                           a#_r10r ->  case
  48                                           con2tag_Foo#_r101
  49                                               b_r10p
  50                                       of
  51                                         b#_r10t ->  if a#_r10r GHC.==#{-79,p-}{I} b#_r10t then
  52                                                         PrelBase.True{-5E,p-}{i}
  53                                                     else
  54                                                         PrelBase.False{-58,p-}{i}
  55     AbsBinds [] [] [([], /=_a198, /=_a14x)]
  56         /=_a14x
  57             a_r10x b_r10z
  58                     =   PrelBase.not{-rho,p-}
  59                             ==_a19a
  60                                 a_r10x b_r10z
  61     d.Eq_a14i =
  62         ({-dict-} [] [==_a199, /=_a198])
  63 {- rec -}
  64 AbsBinds
  65 [a{-a191-}, b{-a192-}]
  66 []
  67 [([a{-a191-}, b{-a192-}], $d2{-r19b,x-}, d.Eval_a14N)]
  68     d.Eval_a14N =
  69         ({-dict-} [] [])
  70 {- rec -}
  71 AbsBinds [] [] [([], $d3{-r19c,x-}, d.Eval_a14S)]
  72     d.Eval_a14S =
  73         ({-dict-} [] [])
  74 {- rec -}
  75 AbsBinds [] [] [([], $d4{-r19d,x-}, d.Ord_a14X)]
  76     d.Eq_a16H =
  77         $d1{-r193,x-}
  78     compare_a19q =
  79         compare_a19k
  80     compare_a19p =
  81         compare_a19k
  82     compare_a19o =
  83         compare_a19k
  84     compare_a19n =
  85         compare_a19k
  86     compare_a19m =
  87         compare_a19k
  88     compare_a19l =
  89         compare_a19k
  90     AbsBinds [] [] [([], compare_a19k, compare_a150)]
  91         compare_a150
  92             a_r11y b_r11A
  93                     =   case
  94                             con2tag_Foo#_r101
  95                                 a_r11y
  96                         of
  97                           a#_r11G ->  case
  98                                           con2tag_Foo#_r101
  99                                               b_r11A
 100                                       of
 101                                         b#_r11I ->  if a#_r11G GHC.==#{-79,p-}{I} b#_r11I then
 102                                                         PrelBase.EQ{-rbX,p-}{i}
 103                                                     else
 104                                                         if a#_r11G GHC.<#{-7b,p-}{I} b#_r11I then
 105                                                             PrelBase.LT{-rbY,p-}{i}
 106                                                         else
 107                                                             PrelBase.GT{-rbZ,p-}{i}
 108                     where
 109                         {- nonrec -}
 110                         AbsBinds
 111                         [t{-a15e-}, t{-a15g-}]
 112                         []
 113                         [([t{-a15e-}, t{-a15g-}], cmp_eq_r11C, cmp_eq_a154)]
 114                             cmp_eq_a154
 115                                 _ _     =   PrelBase.EQ{-rbX,p-}{i}
 116                         {- nonrec -}
 117     AbsBinds [] [] [([], <_a19j, <_a15q)]
 118         <_a15q
 119             a_r10G b_r10I
 120                     =   case
 121                             compare_a19q
 122                                 a_r10G b_r10I
 123                         of
 124                           PrelBase.LT{-rbY,p-}{i}
 125                                   ->  PrelBase.True{-5E,p-}{i}
 126                           PrelBase.EQ{-rbX,p-}{i}
 127                                   ->  PrelBase.False{-58,p-}{i}
 128                           PrelBase.GT{-rbZ,p-}{i}
 129                                   ->  PrelBase.False{-58,p-}{i}
 130     AbsBinds [] [] [([], <=_a19i, <=_a15D)]
 131         <=_a15D
 132             a_r10P b_r10R
 133                     =   case
 134                             compare_a19p
 135                                 a_r10P b_r10R
 136                         of
 137                           PrelBase.LT{-rbY,p-}{i}
 138                                   ->  PrelBase.True{-5E,p-}{i}
 139                           PrelBase.EQ{-rbX,p-}{i}
 140                                   ->  PrelBase.True{-5E,p-}{i}
 141                           PrelBase.GT{-rbZ,p-}{i}
 142                                   ->  PrelBase.False{-58,p-}{i}
 143     AbsBinds [] [] [([], >=_a19h, >=_a15Q)]
 144         >=_a15Q
 145             a_r10Y b_r110
 146                     =   case
 147                             compare_a19o
 148                                 a_r10Y b_r110
 149                         of
 150                           PrelBase.LT{-rbY,p-}{i}
 151                                   ->  PrelBase.False{-58,p-}{i}
 152                           PrelBase.EQ{-rbX,p-}{i}
 153                                   ->  PrelBase.True{-5E,p-}{i}
 154                           PrelBase.GT{-rbZ,p-}{i}
 155                                   ->  PrelBase.True{-5E,p-}{i}
 156     AbsBinds [] [] [([], >_a19g, >_a163)]
 157         >_a163
 158             a_r117 b_r119
 159                     =   case
 160                             compare_a19n
 161                                 a_r117 b_r119
 162                         of
 163                           PrelBase.LT{-rbY,p-}{i}
 164                                   ->  PrelBase.False{-58,p-}{i}
 165                           PrelBase.EQ{-rbX,p-}{i}
 166                                   ->  PrelBase.False{-58,p-}{i}
 167                           PrelBase.GT{-rbZ,p-}{i}
 168                                   ->  PrelBase.True{-5E,p-}{i}
 169     AbsBinds [] [] [([], max_a19f, max_a16g)]
 170         max_a16g
 171             a_r11g b_r11i
 172                     =   case
 173                             compare_a19m
 174                                 a_r11g b_r11i
 175                         of
 176                           PrelBase.LT{-rbY,p-}{i}
 177                                   ->  b_r11i
 178                           PrelBase.EQ{-rbX,p-}{i}
 179                                   ->  a_r11g
 180                           PrelBase.GT{-rbZ,p-}{i}
 181                                   ->  a_r11g
 182     AbsBinds [] [] [([], min_a19e, min_a16v)]
 183         min_a16v
 184             a_r11p b_r11r
 185                     =   case
 186                             compare_a19l
 187                                 a_r11p b_r11r
 188                         of
 189                           PrelBase.LT{-rbY,p-}{i}
 190                                   ->  a_r11p
 191                           PrelBase.EQ{-rbX,p-}{i}
 192                                   ->  b_r11r
 193                           PrelBase.GT{-rbZ,p-}{i}
 194                                   ->  b_r11r
 195     d.Ord_a14X =
 196         ({-dict-}
 197          [d.Eq_a16H]
 198          [compare_a19k, <_a19j, <=_a19i, >=_a19h, >_a19g, max_a19f, min_a19e])
 199 {- rec -}
 200 AbsBinds [] [] [([], $d5{-r19r,x-}, d.Show_a16O)]
 201     showsPrec_a19u =
 202         showsPrec_a19t
 203     AbsBinds [] [] [([], showsPrec_a19t, showsPrec_a16R)]
 204         showsPrec_a16R
 205             a_r11N Foo1{-r4t,x-}{i}
 206                     =   PrelBase.showString{-rjF,p-}
 207                             "Foo1"
 208         showsPrec_a16R
 209             a_r11Q Foo2{-r4s,x-}{i}
 210                     =   PrelBase.showString{-rjF,p-}
 211                             "Foo2"
 212         showsPrec_a16R
 213             a_r11T Foo3{-r4u,x-}{i}
 214                     =   PrelBase.showString{-rjF,p-}
 215                             "Foo3"
 216         showsPrec_a16R
 217             a_r11W Foo4{-r4v,x-}{i}
 218                     =   PrelBase.showString{-rjF,p-}
 219                             "Foo4"
 220         showsPrec_a16R
 221             a_r11Z Foo5{-r4w,x-}{i}
 222                     =   PrelBase.showString{-rjF,p-}
 223                             "Foo5"
 224         showsPrec_a16R
 225             a_r122 Foo6{-r4x,x-}{i}
 226                     =   PrelBase.showString{-rjF,p-}
 227                             "Foo6"
 228         showsPrec_a16R
 229             a_r125 Foo7{-r4y,x-}{i}
 230                     =   PrelBase.showString{-rjF,p-}
 231                             "Foo7"
 232         showsPrec_a16R
 233             a_r128 Foo8{-r4z,x-}{i}
 234                     =   PrelBase.showString{-rjF,p-}
 235                             "Foo8"
 236     AbsBinds [] [] [([], showList_a19s, showList_a173)]
 237         showList_a173
 238                     =   PrelBase.showList__{-r4G,p-}
 239                             Foo{-r4J,x-}
 240                             showsPrec_a19u
 241                                 lit_a196
 242     d.Show_a16O =
 243         ({-dict-} [] [showsPrec_a19t, showList_a19s])
 244 {- rec -}
 245 AbsBinds [] [] [([], $d6{-r19v,x-}, d.Ix_a17k)]
 246     d.Show_a18G =
 247         $d5{-r19r,x-}
 248     d.Ord_a18H =
 249         $d4{-r19d,x-}
 250     inRange_a19z =
 251         inRange_a19w
 252     AbsBinds [] [] [([], range_a19y, range_a17n)]
 253         range_a17n
 254             (a_r12g, b_r12h)
 255                     =   case
 256                             con2tag_Foo#_r101
 257                                 a_r12g
 258                         of
 259                           a#_r12j ->  case
 260                                           con2tag_Foo#_r101
 261                                               b_r12h
 262                                       of
 263                                         b#_r12l ->  map_a195
 264                                                         [PrelBase.Int{-3g,p-}, Foo{-r4J,x-}]
 265                                                         tag2con_Foo#_rZZ
 266                                                         enumFromTo_a194
 267                                                             PrelBase.I#{-5b,p-}{i}
 268                                                                 a#_r12j
 269                                                             PrelBase.I#{-5b,p-}{i}
 270                                                                 b#_r12l
 271     AbsBinds [] [] [([], index_a19x, index_a17V)]
 272         index_a17V
 273             (c_r12p@(a_r12q, b_r12r)) d_r12t
 274                     =   if inRange_a19z
 275                                c_r12p d_r12t then
 276                             case
 277                                 con2tag_Foo#_r101
 278                                     a_r12q
 279                             of
 280                               a#_r12v ->  case
 281                                               con2tag_Foo#_r101
 282                                                   d_r12t
 283                                           of
 284                                             d#_r12x ->  case d#_r12x GHC.-#{-7E,p-}{I} a#_r12v of
 285                                                           c_r12z  ->  PrelBase.I#{-5b,p-}{i}
 286                                                                           c_r12z
 287                         else
 288                             IOBase.error{-87,p-}
 289                                 PrelBase.Int{-3g,p-}
 290                                 "Ix.Foo.index: out of range\n"
 291     AbsBinds [] [] [([], inRange_a19w, inRange_a18o)]
 292         inRange_a18o
 293             (a_r12D, b_r12E) c_r12G
 294                     =   case
 295                             con2tag_Foo#_r101
 296                                 a_r12D
 297                         of
 298                           a#_r12I ->  case
 299                                           con2tag_Foo#_r101
 300                                               b_r12E
 301                                       of
 302                                         b#_r12K ->  case
 303                                                         con2tag_Foo#_r101
 304                                                             c_r12G
 305                                                     of
 306                                                       c#_r12M ->  if c#_r12M
 307                                                                      GHC.>=#{-78,p-}{I} a#_r12I then
 308                                                                       c#_r12M
 309                                                                       GHC.<=#{-7c,p-}{I} b#_r12K
 310                                                                   else
 311                                                                       PrelBase.False{-58,p-}{i}
 312     d.Ix_a17k =
 313         ({-dict-}
 314          [d.Show_a18G, d.Ord_a18H]
 315          [range_a19y, index_a19x, inRange_a19w])
 316 {- nonrec -}
 317 d.Num_a18U =
 318     PrelBase.$d3{-rdj,p-}
 319 fromInt_a197 =
 320     PrelBase.fromInt{-8R,p-}
 321         PrelBase.Int{-3g,p-}
 322         d.Num_a18U
 323 lit_a196 =
 324     fromInt_a197
 325         PrelBase.I#{-5b,p-}{i}
 326             0#
 327 d.Functor_a18X =
 328     PrelBase.$d25{-rde,p-}
 329 map_a195 =
 330     PrelBase.map{-reK,p-}
 331         PrelBase.[]{-3j,p-}
 332         d.Functor_a18X
 333 d.Enum_a190 =
 334     PrelBase.$d5{-rdF,p-}
 335 enumFromTo_a194 =
 336     PrelBase.enumFromTo{-8W,p-}
 337         PrelBase.Int{-3g,p-}
 338         d.Enum_a190
 339 {- nonrec -}
 340 AbsBinds [] [] [([], con2tag_Foo#_r101, con2tag_Foo#_a141)]
 341     con2tag_Foo#_a141
 342         Foo1{-r4t,x-}{i}
 343                 =   0#
 344     con2tag_Foo#_a141
 345         Foo2{-r4s,x-}{i}
 346                 =   1#
 347     con2tag_Foo#_a141
 348         Foo3{-r4u,x-}{i}
 349                 =   2#
 350     con2tag_Foo#_a141
 351         Foo4{-r4v,x-}{i}
 352                 =   3#
 353     con2tag_Foo#_a141
 354         Foo5{-r4w,x-}{i}
 355                 =   4#
 356     con2tag_Foo#_a141
 357         Foo6{-r4x,x-}{i}
 358                 =   5#
 359     con2tag_Foo#_a141
 360         Foo7{-r4y,x-}{i}
 361                 =   6#
 362     con2tag_Foo#_a141
 363         Foo8{-r4z,x-}{i}
 364                 =   7#
 365 {- nonrec -}
 366 {- nonrec -}
 367 AbsBinds [] [] [([], maxtag_Foo#_r100, maxtag_Foo#_a145)]
 368     maxtag_Foo#_a145
 369                 =   PrelBase.I#{-5b,p-}{i}
 370                         7#
 371 {- nonrec -}
 372 {- nonrec -}
 373 AbsBinds [] [] [([], tag2con_Foo#_rZZ, tag2con_Foo#_a149)]
 374     tag2con_Foo#_a149
 375         (PrelBase.I#{-5b,p-}{i} 0#)
 376                 =   Foo1{-r4t,x-}{i}
 377     tag2con_Foo#_a149
 378         (PrelBase.I#{-5b,p-}{i} 1#)
 379                 =   Foo2{-r4s,x-}{i}
 380     tag2con_Foo#_a149
 381         (PrelBase.I#{-5b,p-}{i} 2#)
 382                 =   Foo3{-r4u,x-}{i}
 383     tag2con_Foo#_a149
 384         (PrelBase.I#{-5b,p-}{i} 3#)
 385                 =   Foo4{-r4v,x-}{i}
 386     tag2con_Foo#_a149
 387         (PrelBase.I#{-5b,p-}{i} 4#)
 388                 =   Foo5{-r4w,x-}{i}
 389     tag2con_Foo#_a149
 390         (PrelBase.I#{-5b,p-}{i} 5#)
 391                 =   Foo6{-r4x,x-}{i}
 392     tag2con_Foo#_a149
 393         (PrelBase.I#{-5b,p-}{i} 6#)
 394                 =   Foo7{-r4y,x-}{i}
 395     tag2con_Foo#_a149
 396         (PrelBase.I#{-5b,p-}{i} 7#)
 397                 =   Foo8{-r4z,x-}{i}
 398     tag2con_Foo#_a149
 399         _       =   IOBase.error{-87,p-}
 400                         Foo{-r4J,x-}
 401                         "Urk! in TcGenDeriv"
 402 {- nonrec -}
 403
 404 NOTE: Simplifier still going after 4 iterations; bailing out.
 405 ghc: module version changed to 1; reason: no old .hi file