ghc/tests/deSugar/should_compile/ds020.stderr

   1 ds020.hs:6:
   2     Warning: Pattern match(es) completely overlapped
   3         in the definition of function `a'
   4 ds020.hs:9:
   5     Warning: Pattern match(es) completely overlapped
   6         in the definition of function `b'
   7 ds020.hs:16:
   8     Warning: Pattern match(es) completely overlapped
   9         in the definition of function `d'
  10 ds020.hs:17:
  11     Warning: Pattern match(es) completely overlapped
  12         in the definition of function `d'
  13 ds020.hs:20:
  14     Warning: Pattern match(es) completely overlapped
  15         in the definition of function `f'
  16
  17
  18 ================================================================================
  19 Desugared:
  20 Rec {
  21 ==_a1Fg  ::  PrelBase.Int{-3g,W-}
  22              -> PrelBase.Int{-3g,W-}
  23              -> PrelBase.Bool{-34,W-}
  24 {-# L #-}
  25 ==_a1Fg =
  26     ==_a1A2
  27 ==_a1Fh  ::  PrelBase.Int{-3g,W-}
  28              -> PrelBase.Int{-3g,W-}
  29              -> PrelBase.Bool{-34,W-}
  30 {-# L #-}
  31 ==_a1Fh =
  32     ==_a1A2
  33 lit_a1Fi  ::  PrelBase.Int{-3g,W-}
  34 {-# L #-}
  35 lit_a1Fi =
  36     lit_a1A4
  37 lit_a1Fj  ::  PrelBase.Int{-3g,W-}
  38 {-# L #-}
  39 lit_a1Fj =
  40     lit_a1A3
  41 ds_d1IS  ::  (PrelBase.Char{-38,W-}, PrelBase.Char{-38,W-}, PrelBase.Char{-38,W-}, PrelBase.Char{-38,W-})
  42 {-# L #-}
  43 ds_d1IS =
  44     let { ds_d1RP  ::  (PrelBase.Char{-38,W-}, (PrelBase.Char{-38,W-}, (PrelBase.Char{-38,W-}, PrelBase.Char{-38,W-})))
  45           {-# L #-}
  46           ds_d1RP =
  47       let {
  48         eq4_aWR  ::  PrelBase.Bool{-34,W-}
  49         {-# L #-}
  50         eq4_aWR =
  51             ==_a1Fh lit_a1Fi lit_a1Fj } in
  52       let {
  53         eq4_r49  ::  PrelBase.Bool{-34,W-}
  54         {-# L #-}
  55         eq4_r49 =
  56             eq4_aWR } in
  57       let {
  58         lit_a1MU  ::  PrelBase.Int{-3g,W-}
  59         {-# L #-}
  60         lit_a1MU =
  61             lit_a1A5 } in
  62       let {
  63         eq3_aX5  ::  PrelBase.Bool{-34,W-}
  64         {-# L #-}
  65         eq3_aX5 =
  66             ==_a1Fg lit_a1A5 lit_a1MU } in
  67       let {
  68         eq3_r48  ::  PrelBase.Bool{-34,W-}
  69         {-# L #-}
  70         eq3_r48 =
  71             eq3_aX5 } in
  72       let {
  73         eq2_aXj  ::  PrelBase.Bool{-34,W-}
  74         {-# L #-}
  75         eq2_aXj =
  76             ==_a1A2 lit_a1A3 lit_a1A4 } in
  77       let {
  78         eq2_r47  ::  PrelBase.Bool{-34,W-}
  79         {-# L #-}
  80         eq2_r47 =
  81             eq2_aXj
  82       } in
  83         case eq2_r47 of {
  84           PrelBase.True{-5E,w-}{i} ->
  85               let {
  86                 ds_d1Nw  ::  PrelBase.Char{-38,W-}
  87                 {-# L #-}
  88                 ds_d1Nw =
  89                     PrelBase.C#{-54,w-}{i} {'a'} } in
  90               let { ds_d1NA  ::  (PrelBase.Char{-38,W-}, (PrelBase.Char{-38,W-}, PrelBase.Char{-38,W-}))
  91                     {-# L #-}
  92                     ds_d1NA =
  93                 let {
  94                   ds_d1NQ  ::  PrelBase.Char{-38,W-}
  95                   {-# L #-}
  96                   ds_d1NQ =
  97                       PrelBase.C#{-54,w-}{i} {'a'} } in
  98                 let { ds_d1NU  ::  (PrelBase.Char{-38,W-}, PrelBase.Char{-38,W-})
  99                       {-# L #-}
 100                       ds_d1NU =
 101                   let {
 102                     ds_d1Oa  ::  PrelBase.Char{-38,W-}
 103                     {-# L #-}
 104                     ds_d1Oa =
 105                         PrelBase.C#{-54,w-}{i} {'a'} } in
 106                   let {
 107                     ds_d1Oe  ::  PrelBase.Char{-38,W-}
 108                     {-# L #-}
 109                     ds_d1Oe =
 110                         PrelBase.C#{-54,w-}{i} {'a'}
 111                   } in
 112                     PrelTup.(,){-62,w-}{i}
 113                         {_@_ PrelBase.Char{-38,W-}
 114                          _@_ PrelBase.Char{-38,W-}
 115                          ds_d1Oa
 116                          ds_d1Oe}
 117                 } in
 118                 PrelTup.(,){-62,w-}{i}
 119                     {_@_ PrelBase.Char{-38,W-}
 120                      _@_ (PrelBase.Char{-38,W-}, PrelBase.Char{-38,W-})
 121                      ds_d1NQ
 122                      ds_d1NU}
 123               } in
 124               PrelTup.(,){-62,w-}{i}
 125                   {_@_ PrelBase.Char{-38,W-}
 126                    _@_ (PrelBase.Char{-38,W-}, (PrelBase.Char{-38,W-}, PrelBase.Char{-38,W-}))
 127                    ds_d1Nw
 128                    ds_d1NA};
 129           PrelBase.False{-58,w-}{i} ->
 130               case eq3_r48 of {
 131                 PrelBase.True{-5E,w-}{i} ->
 132                     let {
 133                       ds_d1OI  ::  PrelBase.Char{-38,W-}
 134                       {-# L #-}
 135                       ds_d1OI =
 136                           PrelBase.C#{-54,w-}{i} {'b'} } in
 137                     let { ds_d1OM  ::  (PrelBase.Char{-38,W-}, (PrelBase.Char{-38,W-}, PrelBase.Char{-38,W-}))
 138                           {-# L #-}
 139                           ds_d1OM =
 140                       let {
 141                         ds_d1P2  ::  PrelBase.Char{-38,W-}
 142                         {-# L #-}
 143                         ds_d1P2 =
 144                             PrelBase.C#{-54,w-}{i} {'b'} } in
 145                       let { ds_d1P6  ::  (PrelBase.Char{-38,W-}, PrelBase.Char{-38,W-})
 146                             {-# L #-}
 147                             ds_d1P6 =
 148                         let {
 149                           ds_d1Pm  ::  PrelBase.Char{-38,W-}
 150                           {-# L #-}
 151                           ds_d1Pm =
 152                               PrelBase.C#{-54,w-}{i} {'b'} } in
 153                         let {
 154                           ds_d1Pq  ::  PrelBase.Char{-38,W-}
 155                           {-# L #-}
 156                           ds_d1Pq =
 157                               PrelBase.C#{-54,w-}{i} {'b'}
 158                         } in
 159                           PrelTup.(,){-62,w-}{i}
 160                               {_@_ PrelBase.Char{-38,W-}
 161                                _@_ PrelBase.Char{-38,W-}
 162                                ds_d1Pm
 163                                ds_d1Pq}
 164                       } in
 165                       PrelTup.(,){-62,w-}{i}
 166                           {_@_ PrelBase.Char{-38,W-}
 167                            _@_ (PrelBase.Char{-38,W-}, PrelBase.Char{-38,W-})
 168                            ds_d1P2
 169                            ds_d1P6}
 170                     } in
 171                     PrelTup.(,){-62,w-}{i}
 172                         {_@_ PrelBase.Char{-38,W-}
 173                          _@_ (PrelBase.Char{-38,W-}, (PrelBase.Char{-38,W-}, PrelBase.Char{-38,W-}))
 174                          ds_d1OI
 175                          ds_d1OM};
 176                 PrelBase.False{-58,w-}{i} ->
 177                     case eq4_r49 of {
 178                       PrelBase.True{-5E,w-}{i} ->
 179                           let {
 180                             ds_d1PU  ::  PrelBase.Char{-38,W-}
 181                             {-# L #-}
 182                             ds_d1PU =
 183                                 PrelBase.C#{-54,w-}{i} {'c'} } in
 184                           let { ds_d1PY  ::  (PrelBase.Char{-38,W-}, (PrelBase.Char{-38,W-}, PrelBase.Char{-38,W-}))
 185                                 {-# L #-}
 186                                 ds_d1PY =
 187                             let {
 188                               ds_d1Qe  ::  PrelBase.Char{-38,W-}
 189                               {-# L #-}
 190                               ds_d1Qe =
 191                                   PrelBase.C#{-54,w-}{i} {'c'} } in
 192                             let { ds_d1Qi  ::  (PrelBase.Char{-38,W-}, PrelBase.Char{-38,W-})
 193                                   {-# L #-}
 194                                   ds_d1Qi =
 195                               let {
 196                                 ds_d1Qy  ::  PrelBase.Char{-38,W-}
 197                                 {-# L #-}
 198                                 ds_d1Qy =
 199                                     PrelBase.C#{-54,w-}{i} {'c'} } in
 200                               let {
 201                                 ds_d1QC  ::  PrelBase.Char{-38,W-}
 202                                 {-# L #-}
 203                                 ds_d1QC =
 204                                     PrelBase.C#{-54,w-}{i} {'c'}
 205                               } in
 206                                 PrelTup.(,){-62,w-}{i}
 207                                     {_@_ PrelBase.Char{-38,W-}
 208                                      _@_ PrelBase.Char{-38,W-}
 209                                      ds_d1Qy
 210                                      ds_d1QC}
 211                             } in
 212                             PrelTup.(,){-62,w-}{i}
 213                                 {_@_ PrelBase.Char{-38,W-}
 214                                  _@_ (PrelBase.Char{-38,W-}, PrelBase.Char{-38,W-})
 215                                  ds_d1Qe
 216                                  ds_d1Qi}
 217                           } in
 218                           PrelTup.(,){-62,w-}{i}
 219                               {_@_ PrelBase.Char{-38,W-}
 220                                _@_ (PrelBase.Char{-38,W-}, (PrelBase.Char{-38,W-}, PrelBase.Char{-38,W-}))
 221                                ds_d1PU
 222                                ds_d1PY};
 223                       PrelBase.False{-58,w-}{i} ->
 224                           let {
 225                             ds_d1QY  ::  PrelBase.Char{-38,W-}
 226                             {-# L #-}
 227                             ds_d1QY =
 228                                 PrelBase.C#{-54,w-}{i} {'d'} } in
 229                           let { ds_d1R2  ::  (PrelBase.Char{-38,W-}, (PrelBase.Char{-38,W-}, PrelBase.Char{-38,W-}))
 230                                 {-# L #-}
 231                                 ds_d1R2 =
 232                             let {
 233                               ds_d1Ri  ::  PrelBase.Char{-38,W-}
 234                               {-# L #-}
 235                               ds_d1Ri =
 236                                   PrelBase.C#{-54,w-}{i} {'d'} } in
 237                             let { ds_d1Rm  ::  (PrelBase.Char{-38,W-}, PrelBase.Char{-38,W-})
 238                                   {-# L #-}
 239                                   ds_d1Rm =
 240                               let {
 241                                 ds_d1RC  ::  PrelBase.Char{-38,W-}
 242                                 {-# L #-}
 243                                 ds_d1RC =
 244                                     PrelBase.C#{-54,w-}{i} {'d'} } in
 245                               let {
 246                                 ds_d1RG  ::  PrelBase.Char{-38,W-}
 247                                 {-# L #-}
 248                                 ds_d1RG =
 249                                     PrelBase.C#{-54,w-}{i} {'d'}
 250                               } in
 251                                 PrelTup.(,){-62,w-}{i}
 252                                     {_@_ PrelBase.Char{-38,W-}
 253                                      _@_ PrelBase.Char{-38,W-}
 254                                      ds_d1RC
 255                                      ds_d1RG}
 256                             } in
 257                             PrelTup.(,){-62,w-}{i}
 258                                 {_@_ PrelBase.Char{-38,W-}
 259                                  _@_ (PrelBase.Char{-38,W-}, PrelBase.Char{-38,W-})
 260                                  ds_d1Ri
 261                                  ds_d1Rm}
 262                           } in
 263                           PrelTup.(,){-62,w-}{i}
 264                               {_@_ PrelBase.Char{-38,W-}
 265                                _@_ (PrelBase.Char{-38,W-}, (PrelBase.Char{-38,W-}, PrelBase.Char{-38,W-}))
 266                                ds_d1QY
 267                                ds_d1R2};
 268                     };
 269               };
 270         }
 271     } in
 272     case ds_d1RP of { PrelTup.(,){-62,w-}{i} x4_aWs ds_d1RY  ->
 273     case ds_d1RY of { PrelTup.(,){-62,w-}{i} y4_aWt ds_d1S7  ->
 274     case ds_d1S7 of { PrelTup.(,){-62,w-}{i} z4_aWu a4_aWv  ->
 275     PrelTup.(,,,){-64,w-}{i}
 276         {_@_ PrelBase.Char{-38,W-}
 277          _@_ PrelBase.Char{-38,W-}
 278          _@_ PrelBase.Char{-38,W-}
 279          _@_ PrelBase.Char{-38,W-}
 280          x4_aWs
 281          y4_aWt
 282          z4_aWu
 283          a4_aWv};};};}
 284 x4_aWs  ::  PrelBase.Char{-38,W-}
 285 {-# L #-}
 286 x4_aWs =
 287     case
 288         ds_d1IS
 289     of {
 290     PrelTup.(,,,){-64,w-}{i} x4_aWs y4_aWt z4_aWu a4_aWv  ->
 291     x4_aWs;}
 292 y4_aWt  ::  PrelBase.Char{-38,W-}
 293 {-# L #-}
 294 y4_aWt =
 295     case
 296         ds_d1IS
 297     of {
 298     PrelTup.(,,,){-64,w-}{i} x4_aWs y4_aWt z4_aWu a4_aWv  ->
 299     y4_aWt;}
 300 z4_aWu  ::  PrelBase.Char{-38,W-}
 301 {-# L #-}
 302 z4_aWu =
 303     case
 304         ds_d1IS
 305     of {
 306     PrelTup.(,,,){-64,w-}{i} x4_aWs y4_aWt z4_aWu a4_aWv  ->
 307     z4_aWu;}
 308 a4_aWv  ::  PrelBase.Char{-38,W-}
 309 {-# L #-}
 310 a4_aWv =
 311     case
 312         ds_d1IS
 313     of {
 314     PrelTup.(,,,){-64,w-}{i} x4_aWs y4_aWt z4_aWu a4_aWv  ->
 315     a4_aWv;}
 316 x4{-r4d,x-}  ::  PrelBase.Char{-38,W-}
 317 {-# L #-}
 318 x4{-r4d,x-} =
 319     x4_aWs
 320 y4{-r4c,x-}  ::  PrelBase.Char{-38,W-}
 321 {-# L #-}
 322 y4{-r4c,x-} =
 323     y4_aWt
 324 z4{-r4b,x-}  ::  PrelBase.Char{-38,W-}
 325 {-# L #-}
 326 z4{-r4b,x-} =
 327     z4_aWu
 328 a4{-r4a,x-}  ::  PrelBase.Char{-38,W-}
 329 {-# L #-}
 330 a4{-r4a,x-} =
 331     a4_aWv
 332 lit_a1Jt  ::  PrelBase.Int{-3g,W-}
 333 {-# L #-}
 334 lit_a1Jt =
 335     lit_a1zW
 336 ds_d1Jy  ::  (PrelBase.Int{-3g,W-}, PrelBase.Int{-3g,W-})
 337 {-# L #-}
 338 ds_d1Jy =
 339     case >_a1zV x3_aYi lit_a1zW of {
 340       PrelBase.True{-5E,w-}{i} ->
 341           PrelTup.(,){-62,w-}{i}
 342               {_@_ PrelBase.Int{-3g,W-}
 343                _@_ PrelBase.Int{-3g,W-}
 344                lit_a1zX
 345                lit_a1zY};
 346       PrelBase.False{-58,w-}{i} ->
 347           case <=_a1zZ x3_aYi lit_a1Jt of {
 348             PrelBase.True{-5E,w-}{i} ->
 349                 PrelTup.(,){-62,w-}{i}
 350                     {_@_ PrelBase.Int{-3g,W-}
 351                      _@_ PrelBase.Int{-3g,W-}
 352                      lit_a1A0
 353                      lit_a1A1};
 354             PrelBase.False{-58,w-}{i} ->
 355                 GHCerr.nonExhaustiveGuardsError{-8l,w-}
 356                     _@_ (PrelBase.Int{-3g,W-}, PrelBase.Int{-3g,W-})
 357                     _string_ "ds020.hs:42|";
 358           };
 359     }
 360 x3_aYi  ::  PrelBase.Int{-3g,W-}
 361 {-# L #-}
 362 x3_aYi =
 363     case ds_d1Jy of { PrelTup.(,){-62,w-}{i} x3_aYi y3_aYj  -> x3_aYi;}
 364 y3_aYj  ::  PrelBase.Int{-3g,W-}
 365 {-# L #-}
 366 y3_aYj =
 367     case ds_d1Jy of { PrelTup.(,){-62,w-}{i} x3_aYi y3_aYj  -> y3_aYj;}
 368 x3{-r4f,x-}  ::  PrelBase.Int{-3g,W-}
 369 {-# L #-}
 370 x3{-r4f,x-} =
 371     x3_aYi
 372 y3{-r4e,x-}  ::  PrelBase.Int{-3g,W-}
 373 {-# L #-}
 374 y3{-r4e,x-} =
 375     y3_aYj
 376 ds_d1JT  ::  _forall_ [taZa] => (taZa, taZa, [taZa])
 377 {-# L #-}
 378 ds_d1JT =
 379     _/\_ taZa ->
 380         _letrec_ {
 381           ==_a1zQ  ::  PrelBase.Int{-3g,W-}
 382                        -> PrelBase.Int{-3g,W-}
 383                        -> PrelBase.Bool{-34,W-}
 384           {-# L #-}
 385           ==_a1zQ =
 386               ==_a1zR;
 387           ==_a1A6  ::  PrelBase.Int{-3g,W-}
 388                        -> PrelBase.Int{-3g,W-}
 389                        -> PrelBase.Bool{-34,W-}
 390           {-# L #-}
 391           ==_a1A6 =
 392               ==_a1zR;
 393           lit_a1A7  ::  PrelBase.Int{-3g,W-}
 394           {-# L #-}
 395           lit_a1A7 =
 396               lit_a1zT;
 397           lit_a1A8  ::  PrelBase.Int{-3g,W-}
 398           {-# L #-}
 399           lit_a1A8 =
 400               lit_a1zS;
 401           ds_d1V4  ::  (taZa, taZa, [taZa])
 402           {-# L #-}
 403           ds_d1V4 =
 404               let { ds_d1Xt  ::  [taZa]
 405                     {-# L #-}
 406                     ds_d1Xt =
 407                 let {
 408                   eq4_aZg  ::  PrelBase.Bool{-34,W-}
 409                   {-# L #-}
 410                   eq4_aZg =
 411                       ==_a1A6 lit_a1A7 lit_a1A8 } in
 412                 let {
 413                   eq4_r3Y  ::  PrelBase.Bool{-34,W-}
 414                   {-# L #-}
 415                   eq4_r3Y =
 416                       eq4_aZg } in
 417                 let {
 418                   lit_a1VR  ::  PrelBase.Int{-3g,W-}
 419                   {-# L #-}
 420                   lit_a1VR =
 421                       lit_a1zU } in
 422                 let {
 423                   eq3_aZu  ::  PrelBase.Bool{-34,W-}
 424                   {-# L #-}
 425                   eq3_aZu =
 426                       ==_a1zQ lit_a1zU lit_a1VR } in
 427                 let {
 428                   eq3_r3X  ::  PrelBase.Bool{-34,W-}
 429                   {-# L #-}
 430                   eq3_r3X =
 431                       eq3_aZu } in
 432                 let {
 433                   eq2_aZI  ::  PrelBase.Bool{-34,W-}
 434                   {-# L #-}
 435                   eq2_aZI =
 436                       ==_a1zR lit_a1zS lit_a1zT } in
 437                 let {
 438                   eq2_r3W  ::  PrelBase.Bool{-34,W-}
 439                   {-# L #-}
 440                   eq2_r3W =
 441                       eq2_aZI
 442                 } in
 443                   case eq2_r3W of {
 444                     PrelBase.True{-5E,w-}{i} -> PrelBase.[]{-5i,w-}{i} _@_ taZa;
 445                     PrelBase.False{-58,w-}{i} ->
 446                         case eq3_r3X of {
 447                           PrelBase.True{-5E,w-}{i} ->
 448                               let {
 449                                 ds_d1WI  ::  [taZa]
 450                                 {-# L #-}
 451                                 ds_d1WI =
 452                                     PrelBase.[]{-5i,w-}{i} {_@_ taZa}
 453                               } in  PrelBase.:{-55,w-}{i} {_@_ taZa x2_aZ2 ds_d1WI};
 454                           PrelBase.False{-58,w-}{i} ->
 455                               case eq4_r3Y of {
 456                                 PrelBase.True{-5E,w-}{i} ->
 457                                     let {
 458                                       ds_d1X8  ::  [taZa]
 459                                       {-# L #-}
 460                                       ds_d1X8 =
 461                                           PrelBase.[]{-5i,w-}{i} {_@_ taZa}
 462                                     } in  PrelBase.:{-55,w-}{i} {_@_ taZa x2_aZ2 ds_d1X8};
 463                                 PrelBase.False{-58,w-}{i} -> PrelBase.[]{-5i,w-}{i} _@_ taZa;
 464                               };
 465                         };
 466                   }
 467               } in
 468               let {
 469                 fail_d1Xu  ::  (taZa, taZa, [taZa])
 470                 {-# L #-}
 471                 fail_d1Xu =
 472                     GHCerr.irrefutPatError{-8g,w-}
 473                         _@_ (taZa, taZa, [taZa])
 474                         _string_ "ds020.hs:39|(x2 PrelBase.: (xs2 PrelBase.: ys2))"
 475               } in
 476                 case ds_d1Xt of {
 477                   PrelBase.[]{-5i,w-}{i} -> fail_d1Xu;
 478                   PrelBase.:{-55,w-}{i} x2_aZ2 ds_d1XH ->
 479                       case ds_d1XH of {
 480                         PrelBase.[]{-5i,w-}{i} -> fail_d1Xu;
 481                         PrelBase.:{-55,w-}{i} xs2_aZ3 ys2_aZ4 ->
 482                             PrelTup.(,,){-63,w-}{i}
 483                                 {_@_ taZa _@_ taZa _@_ [taZa] x2_aZ2 xs2_aZ3 ys2_aZ4};
 484                       };
 485                 };
 486           x2_aZ2  ::  taZa
 487           {-# L #-}
 488           x2_aZ2 =
 489               case
 490                   ds_d1V4
 491               of {
 492               PrelTup.(,,){-63,w-}{i} x2_aZ2 xs2_aZ3 ys2_aZ4  ->
 493               x2_aZ2;};
 494           xs2_aZ3  ::  taZa
 495           {-# L #-}
 496           xs2_aZ3 =
 497               case
 498                   ds_d1V4
 499               of {
 500               PrelTup.(,,){-63,w-}{i} x2_aZ2 xs2_aZ3 ys2_aZ4  ->
 501               xs2_aZ3;};
 502           ys2_aZ4  ::  [taZa]
 503           {-# L #-}
 504           ys2_aZ4 =
 505               case
 506                   ds_d1V4
 507               of {
 508               PrelTup.(,,){-63,w-}{i} x2_aZ2 xs2_aZ3 ys2_aZ4  ->
 509               ys2_aZ4;};
 510         } in
 511           PrelTup.(,,){-63,w-}{i}
 512               {_@_ taZa _@_ taZa _@_ [taZa] x2_aZ2 xs2_aZ3 ys2_aZ4}
 513 x2{-r3Z,x-}  ::  _forall_ [taZa] => taZa
 514 {-# L #-}
 515 x2{-r3Z,x-} =
 516     _/\_ taZa ->
 517         case
 518             ds_d1JT _@_ taZa
 519         of {
 520         PrelTup.(,,){-63,w-}{i} ds_d1Z2 ds_d1Z3 ds_d1Z4  ->
 521         ds_d1Z2;}
 522 xs2{-r4h,x-}  ::  _forall_ [taZa] => taZa
 523 {-# L #-}
 524 xs2{-r4h,x-} =
 525     _/\_ taZa ->
 526         case
 527             ds_d1JT _@_ taZa
 528         of {
 529         PrelTup.(,,){-63,w-}{i} ds_d1Zk ds_d1Zj ds_d1Zl  ->
 530         ds_d1Zj;}
 531 ys2{-r4g,x-}  ::  _forall_ [taZa] => [taZa]
 532 {-# L #-}
 533 ys2{-r4g,x-} =
 534     _/\_ taZa ->
 535         case
 536             ds_d1JT _@_ taZa
 537         of {
 538         PrelTup.(,,){-63,w-}{i} ds_d1ZB ds_d1ZC ds_d1ZA  ->
 539         ds_d1ZA;}
 540 ds_d1Ka  ::  _forall_ [ta10j] => (ta10j, ta10j, [ta10j])
 541 {-# L #-}
 542 ds_d1Ka =
 543     _/\_ ta10j ->
 544         _letrec_ {
 545           ds_d1ZO  ::  (ta10j, ta10j, [ta10j])
 546           {-# L #-}
 547           ds_d1ZO =
 548               let {
 549                 ds_d208  ::  [ta10j]
 550                 {-# L #-}
 551                 ds_d208 =
 552                     PrelBase.[]{-5i,w-}{i} _@_ ta10j } in
 553               let {
 554                 fail_d20l  ::  (ta10j, ta10j, [ta10j])
 555                 {-# L #-}
 556                 fail_d20l =
 557                     GHCerr.irrefutPatError{-8g,w-}
 558                         _@_ (ta10j, ta10j, [ta10j])
 559                         _string_ "ds020.hs:30|(~x PrelBase.: (~xs PrelBase.: ~ys))"
 560               } in
 561                 case ds_d208 of {
 562                   PrelBase.[]{-5i,w-}{i} -> fail_d20l;
 563                   PrelBase.:{-55,w-}{i} x_a10c ds_d20y ->
 564                       case ds_d20y of {
 565                         PrelBase.[]{-5i,w-}{i} -> fail_d20l;
 566                         PrelBase.:{-55,w-}{i} xs_a10d ys_a10e ->
 567                             let {
 568                               ys_a10e  ::  [ta10j]
 569                               {-# L #-}
 570                               ys_a10e =
 571                                   ys_a10e } in
 572                             let {
 573                               xs_a10d  ::  ta10j
 574                               {-# L #-}
 575                               xs_a10d =
 576                                   xs_a10d } in
 577                             let {
 578                               x_a10c  ::  ta10j
 579                               {-# L #-}
 580                               x_a10c =
 581                                   x_a10c
 582                             } in
 583                               PrelTup.(,,){-63,w-}{i}
 584                                   {_@_ ta10j _@_ ta10j _@_ [ta10j] x_a10c xs_a10d ys_a10e};
 585                       };
 586                 };
 587           x_a10c  ::  ta10j
 588           {-# L #-}
 589           x_a10c =
 590               case
 591                   ds_d1ZO
 592               of {
 593               PrelTup.(,,){-63,w-}{i} x_a10c xs_a10d ys_a10e  ->
 594               x_a10c;};
 595           xs_a10d  ::  ta10j
 596           {-# L #-}
 597           xs_a10d =
 598               case
 599                   ds_d1ZO
 600               of {
 601               PrelTup.(,,){-63,w-}{i} x_a10c xs_a10d ys_a10e  ->
 602               xs_a10d;};
 603           ys_a10e  ::  [ta10j]
 604           {-# L #-}
 605           ys_a10e =
 606               case
 607                   ds_d1ZO
 608               of {
 609               PrelTup.(,,){-63,w-}{i} x_a10c xs_a10d ys_a10e  ->
 610               ys_a10e;};
 611         } in
 612           PrelTup.(,,){-63,w-}{i}
 613               {_@_ ta10j _@_ ta10j _@_ [ta10j] x_a10c xs_a10d ys_a10e}
 614 x{-r4k,x-}  ::  _forall_ [ta10j] => ta10j
 615 {-# L #-}
 616 x{-r4k,x-} =
 617     _/\_ ta10j ->
 618         case
 619             ds_d1Ka _@_ ta10j
 620         of {
 621         PrelTup.(,,){-63,w-}{i} ds_d222 ds_d223 ds_d224  ->
 622         ds_d222;}
 623 xs{-r4j,x-}  ::  _forall_ [ta10j] => ta10j
 624 {-# L #-}
 625 xs{-r4j,x-} =
 626     _/\_ ta10j ->
 627         case
 628             ds_d1Ka _@_ ta10j
 629         of {
 630         PrelTup.(,,){-63,w-}{i} ds_d22k ds_d22j ds_d22l  ->
 631         ds_d22j;}
 632 ys{-r4i,x-}  ::  _forall_ [ta10j] => [ta10j]
 633 {-# L #-}
 634 ys{-r4i,x-} =
 635     _/\_ ta10j ->
 636         case
 637             ds_d1Ka _@_ ta10j
 638         of {
 639         PrelTup.(,,){-63,w-}{i} ds_d22B ds_d22C ds_d22A  ->
 640         ds_d22A;}
 641 ds_d1Kr  ::  _forall_ [ta10z] => (ta10z, ta10z, [ta10z])
 642 {-# L #-}
 643 ds_d1Kr =
 644     _/\_ ta10z ->
 645         _letrec_ {
 646           ds_d22O  ::  (ta10z, ta10z, [ta10z])
 647           {-# L #-}
 648           ds_d22O =
 649               let {
 650                 ds_d238  ::  [ta10z]
 651                 {-# L #-}
 652                 ds_d238 =
 653                     PrelBase.[]{-5i,w-}{i} _@_ ta10z } in
 654               let {
 655                 fail_d23l  ::  (ta10z, ta10z, [ta10z])
 656                 {-# L #-}
 657                 fail_d23l =
 658                     GHCerr.irrefutPatError{-8g,w-}
 659                         _@_ (ta10z, ta10z, [ta10z])
 660                         _string_ "ds020.hs:29|(x1 PrelBase.: (xs1 PrelBase.: ys1))"
 661               } in
 662                 case ds_d238 of {
 663                   PrelBase.[]{-5i,w-}{i} -> fail_d23l;
 664                   PrelBase.:{-55,w-}{i} x1_a10s ds_d23y ->
 665                       case ds_d23y of {
 666                         PrelBase.[]{-5i,w-}{i} -> fail_d23l;
 667                         PrelBase.:{-55,w-}{i} xs1_a10t ys1_a10u ->
 668                             PrelTup.(,,){-63,w-}{i}
 669                                 {_@_ ta10z _@_ ta10z _@_ [ta10z] x1_a10s xs1_a10t ys1_a10u};
 670                       };
 671                 };
 672           x1_a10s  ::  ta10z
 673           {-# L #-}
 674           x1_a10s =
 675               case
 676                   ds_d22O
 677               of {
 678               PrelTup.(,,){-63,w-}{i} x1_a10s xs1_a10t ys1_a10u  ->
 679               x1_a10s;};
 680           xs1_a10t  ::  ta10z
 681           {-# L #-}
 682           xs1_a10t =
 683               case
 684                   ds_d22O
 685               of {
 686               PrelTup.(,,){-63,w-}{i} x1_a10s xs1_a10t ys1_a10u  ->
 687               xs1_a10t;};
 688           ys1_a10u  ::  [ta10z]
 689           {-# L #-}
 690           ys1_a10u =
 691               case
 692                   ds_d22O
 693               of {
 694               PrelTup.(,,){-63,w-}{i} x1_a10s xs1_a10t ys1_a10u  ->
 695               ys1_a10u;};
 696         } in
 697           PrelTup.(,,){-63,w-}{i}
 698               {_@_ ta10z _@_ ta10z _@_ [ta10z] x1_a10s xs1_a10t ys1_a10u}
 699 x1{-r4n,x-}  ::  _forall_ [ta10z] => ta10z
 700 {-# L #-}
 701 x1{-r4n,x-} =
 702     _/\_ ta10z ->
 703         case
 704             ds_d1Kr _@_ ta10z
 705         of {
 706         PrelTup.(,,){-63,w-}{i} ds_d24T ds_d24U ds_d24V  ->
 707         ds_d24T;}
 708 xs1{-r4m,x-}  ::  _forall_ [ta10z] => ta10z
 709 {-# L #-}
 710 xs1{-r4m,x-} =
 711     _/\_ ta10z ->
 712         case
 713             ds_d1Kr _@_ ta10z
 714         of {
 715         PrelTup.(,,){-63,w-}{i} ds_d25b ds_d25a ds_d25c  ->
 716         ds_d25a;}
 717 ys1{-r4l,x-}  ::  _forall_ [ta10z] => [ta10z]
 718 {-# L #-}
 719 ys1{-r4l,x-} =
 720     _/\_ ta10z ->
 721         case
 722             ds_d1Kr _@_ ta10z
 723         of {
 724         PrelTup.(,,){-63,w-}{i} ds_d25s ds_d25t ds_d25r  ->
 725         ds_d25r;}
 726 ds_d1KI  ::  PrelBase.(){-40,W-}
 727 {-# L #-}
 728 ds_d1KI =
 729     let { ds_d26d  ::  ([GHC.Void{-3T,W-}], [GHC.Void{-3T,W-}], [GHC.Void{-3T,W-}])
 730           {-# L #-}
 731           ds_d26d =
 732       let {
 733         ds_d25N  ::  [GHC.Void{-3T,W-}]
 734         {-# L #-}
 735         ds_d25N =
 736             PrelBase.[]{-5i,w-}{i} _@_ GHC.Void{-3T,W-} } in
 737       let {
 738         ds_d25R  ::  [GHC.Void{-3T,W-}]
 739         {-# L #-}
 740         ds_d25R =
 741             PrelBase.[]{-5i,w-}{i} _@_ GHC.Void{-3T,W-} } in
 742       let {
 743         ds_d25V  ::  [GHC.Void{-3T,W-}]
 744         {-# L #-}
 745         ds_d25V =
 746             PrelBase.[]{-5i,w-}{i} _@_ GHC.Void{-3T,W-}
 747       } in
 748         PrelTup.(,,){-63,w-}{i}
 749             {_@_ [GHC.Void{-3T,W-}]
 750              _@_ [GHC.Void{-3T,W-}]
 751              _@_ [GHC.Void{-3T,W-}]
 752              ds_d25N
 753              ds_d25R
 754              ds_d25V}
 755     } in
 756     case
 757         ds_d26d
 758     of {
 759     PrelTup.(,,){-63,w-}{i} ds_d26D ds_d26E ds_d26C  ->
 760     let { ds_d274  ::  PrelBase.(){-40,W-}
 761           {-# L #-}
 762           ds_d274 =
 763       let {
 764         fail_d26F  ::  PrelBase.(){-40,W-}
 765         {-# L #-}
 766         fail_d26F =
 767             GHCerr.irrefutPatError{-8g,w-}
 768                 _@_ PrelBase.(){-40,W-} _string_ "ds020.hs:27|PrelBase.[]"
 769       } in
 770         case ds_d26C of {
 771           PrelBase.:{-55,w-}{i} ds_d26M ds_d26N -> fail_d26F;
 772           PrelBase.[]{-5i,w-}{i} -> PrelBase.(){-60,w-}{i} {};
 773         }
 774     } in
 775     let { ds_d27u  ::  PrelBase.(){-40,W-}
 776           {-# L #-}
 777           ds_d27u =
 778       let {
 779         fail_d275  ::  PrelBase.(){-40,W-}
 780         {-# L #-}
 781         fail_d275 =
 782             GHCerr.irrefutPatError{-8g,w-}
 783                 _@_ PrelBase.(){-40,W-} _string_ "ds020.hs:27|PrelBase.[]"
 784       } in
 785         case ds_d26E of {
 786           PrelBase.:{-55,w-}{i} ds_d27c ds_d27d -> fail_d275;
 787           PrelBase.[]{-5i,w-}{i} -> PrelBase.(){-60,w-}{i} {};
 788         }
 789     } in
 790     let { ds_d2ql  ::  PrelBase.(){-40,W-}
 791           {-# L #-}
 792           ds_d2ql =
 793       let {
 794         fail_d27v  ::  PrelBase.(){-40,W-}
 795         {-# L #-}
 796         fail_d27v =
 797             GHCerr.irrefutPatError{-8g,w-}
 798                 _@_ PrelBase.(){-40,W-} _string_ "ds020.hs:27|PrelBase.[]"
 799       } in
 800         case ds_d26D of {
 801           PrelBase.:{-55,w-}{i} ds_d27C ds_d27D -> fail_d27v;
 802           PrelBase.[]{-5i,w-}{i} -> PrelBase.(){-60,w-}{i} {};
 803         }
 804     } in
 805     PrelBase.(){-60,w-}{i} {};}
 806 ds_d1KN  ::  PrelBase.(){-40,W-}
 807 {-# L #-}
 808 ds_d1KN =
 809     let { ds_d28A  ::  ([GHC.Void{-3T,W-}], [GHC.Void{-3T,W-}], [GHC.Void{-3T,W-}])
 810           {-# L #-}
 811           ds_d28A =
 812       let {
 813         ds_d283  ::  [GHC.Void{-3T,W-}]
 814         {-# L #-}
 815         ds_d283 =
 816             PrelBase.[]{-5i,w-}{i} _@_ GHC.Void{-3T,W-} } in
 817       let {
 818         ds_d287  ::  [GHC.Void{-3T,W-}]
 819         {-# L #-}
 820         ds_d287 =
 821             PrelBase.[]{-5i,w-}{i} _@_ GHC.Void{-3T,W-} } in
 822       let {
 823         ds_d28b  ::  [GHC.Void{-3T,W-}]
 824         {-# L #-}
 825         ds_d28b =
 826             PrelBase.[]{-5i,w-}{i} _@_ GHC.Void{-3T,W-}
 827       } in
 828         PrelTup.(,,){-63,w-}{i}
 829             {_@_ [GHC.Void{-3T,W-}]
 830              _@_ [GHC.Void{-3T,W-}]
 831              _@_ [GHC.Void{-3T,W-}]
 832              ds_d283
 833              ds_d287
 834              ds_d28b}
 835     } in
 836     let {
 837       fail_d28B  ::  PrelBase.(){-40,W-}
 838       {-# L #-}
 839       fail_d28B =
 840           GHCerr.irrefutPatError{-8g,w-}
 841               _@_ PrelBase.(){-40,W-}
 842               _string_ "ds020.hs:26|(PrelBase.[], PrelBase.[], PrelBase.[])"
 843     } in
 844       case
 845           ds_d28A
 846       of {
 847       PrelTup.(,,){-63,w-}{i} ds_d28K ds_d28L ds_d28M  ->
 848       case ds_d28K of {
 849         PrelBase.:{-55,w-}{i} ds_d28T ds_d28U -> fail_d28B;
 850         PrelBase.[]{-5i,w-}{i} ->
 851             case ds_d28L of {
 852               PrelBase.:{-55,w-}{i} ds_d297 ds_d298 -> fail_d28B;
 853               PrelBase.[]{-5i,w-}{i} ->
 854                   case ds_d28M of {
 855                     PrelBase.:{-55,w-}{i} ds_d29l ds_d29m -> fail_d28B;
 856                     PrelBase.[]{-5i,w-}{i} -> PrelBase.(){-60,w-}{i} {};
 857                   };
 858             };
 859       };}
 860 g{-r4o,x-}  ::  _forall_ [ta11C ta11F] => [ta11C] -> [ta11F]
 861 {-# L #-}
 862 g{-r4o,x-} =
 863     _/\_ ta11C ta11F ->
 864         _letrec_ {
 865           g_a11w  ::  [ta11C] -> [ta11F]
 866           {-# L #-}
 867           g_a11w =
 868               \ ds_d2a5  ::  [ta11C]
 869                 {-# L #-}
 870                 ds_d2a5 ->
 871                   let { ds_d2qm  ::  PrelBase.(){-40,W-}
 872                         {-# L #-}
 873                         ds_d2qm =
 874                     let { ds_d2qn  ::  PrelBase.(){-40,W-}
 875                           {-# L #-}
 876                           ds_d2qn =
 877                       let { ds_d2qo  ::  PrelBase.(){-40,W-}
 878                             {-# L #-}
 879                             ds_d2qo =
 880                         let { ds_d2qp  ::  PrelBase.(){-40,W-}
 881                               {-# L #-}
 882                               ds_d2qp =
 883                           let {
 884                             fail_d2a6  ::  PrelBase.(){-40,W-}
 885                             {-# L #-}
 886                             fail_d2a6 =
 887                                 GHCerr.irrefutPatError{-8g,w-}
 888                                     _@_ PrelBase.(){-40,W-} _string_ "ds020.hs:22|PrelBase.[]"
 889                           } in
 890                             case ds_d2a5 of {
 891                               PrelBase.:{-55,w-}{i} ds_d2ad ds_d2ae -> fail_d2a6;
 892                               PrelBase.[]{-5i,w-}{i} -> PrelBase.(){-60,w-}{i} {};
 893                             }
 894                         } in
 895                         PrelBase.(){-60,w-}{i} {}
 896                       } in
 897                       PrelBase.(){-60,w-}{i} {}
 898                     } in
 899                     PrelBase.(){-60,w-}{i} {}
 900                   } in
 901                   PrelBase.[]{-5i,w-}{i} _@_ ta11F;
 902         } in  g_a11w
 903 f{-r4p,x-}  ::  _forall_ [ta11W ta11Y] => [ta11W] -> [ta11Y]
 904 {-# L #-}
 905 f{-r4p,x-} =
 906     _/\_ ta11W ta11Y ->
 907         _letrec_ {
 908           f_a11H  ::  [ta11W] -> [ta11Y]
 909           {-# L #-}
 910           f_a11H =
 911               \ x_r3R  ::  [ta11W]
 912                 {-# L #-}
 913                 x_r3R ->
 914                   let { x_r3R  ::  [ta11W]
 915                         {-# L #-}
 916                         x_r3R =
 917                     let {
 918                       fail_d2aQ  ::  [ta11W]
 919                       {-# L #-}
 920                       fail_d2aQ =
 921                           GHCerr.irrefutPatError{-8g,w-}
 922                               _@_ [ta11W] _string_ "ds020.hs:19|(x@PrelBase.[])"
 923                     } in
 924                       case x_r3R of {
 925                         PrelBase.:{-55,w-}{i} ds_d2aX ds_d2aY -> fail_d2aQ;
 926                         PrelBase.[]{-5i,w-}{i} -> x_r3R;
 927                       }
 928                   } in
 929                   PrelBase.[]{-5i,w-}{i} _@_ ta11Y;
 930         } in  f_a11H
 931 d{-r4q,x-}  ::  _forall_
 932                 [ta125 ta12z]
 933                 =>
 934                 {PrelBase.Num{-2c,p-} ta125}
 935                 -> {PrelBase.Num{-2c,p-} ta12z}
 936                 -> {PrelBase.Ord{-2d,p-} ta125}
 937                 -> ta125
 938                 -> ta12z
 939 {-# L #-}
 940 d{-r4q,x-} =
 941     _/\_ ta125 ta12z -> \ d.Num_a12C  ::  {PrelBase.Num{-2c,p-} ta125}
 942                           {-# L #-}
 943                           d.Num_a12C d.Num_a12H  ::  {PrelBase.Num{-2c,p-} ta12z}
 944                                      {-# L #-}
 945                                      d.Num_a12H d.Ord_a12M  ::  {PrelBase.Ord{-2d,p-} ta125}
 946                                                 {-# L #-}
 947                                                 d.Ord_a12M ->
 948         _letrec_ {
 949           d.Eq_a12E  ::  {PrelBase.Eq{-23,p-} ta125}
 950           {-# L #-}
 951           d.Eq_a12E =
 952               PrelBase.scsel_OrdPrelBaseEq{-a2bU,p-} _@_ ta125 d.Ord_a12M;
 953           fromInt_a2bq  ::  PrelBase.Int{-3g,W-} -> ta125
 954           {-# L #-}
 955           fromInt_a2bq =
 956               PrelBase.fromInt{-8R,p-} _@_ ta125 d.Num_a12C;
 957           lit_a2br  ::  ta125
 958           {-# L #-}
 959           lit_a2br =
 960               let {
 961                 ds_d2e5  ::  PrelBase.Int{-3g,W-}
 962                 {-# L #-}
 963                 ds_d2e5 =
 964                     PrelBase.I#{-5b,w-}{i} 11
 965               } in  fromInt_a2bq ds_d2e5;
 966           ==_a2bs  ::  ta125 -> ta125 -> PrelBase.Bool{-34,W-}
 967           {-# L #-}
 968           ==_a2bs =
 969               PrelBase.=={-8Y,p-} _@_ ta125 d.Eq_a12E;
 970           fromInt_a2bt  ::  PrelBase.Int{-3g,W-} -> ta12z
 971           {-# L #-}
 972           fromInt_a2bt =
 973               PrelBase.fromInt{-8R,p-} _@_ ta12z d.Num_a12H;
 974           lit_a2bu  ::  ta12z
 975           {-# L #-}
 976           lit_a2bu =
 977               let {
 978                 ds_d2ez  ::  PrelBase.Int{-3g,W-}
 979                 {-# L #-}
 980                 ds_d2ez =
 981                     PrelBase.I#{-5b,w-}{i} 4
 982               } in  fromInt_a2bt ds_d2ez;
 983           fromInt_a2bv  ::  PrelBase.Int{-3g,W-} -> ta125
 984           {-# L #-}
 985           fromInt_a2bv =
 986               fromInt_a2bq;
 987           lit_a2bw  ::  ta125
 988           {-# L #-}
 989           lit_a2bw =
 990               let {
 991                 ds_d2eO  ::  PrelBase.Int{-3g,W-}
 992                 {-# L #-}
 993                 ds_d2eO =
 994                     PrelBase.I#{-5b,w-}{i} 12
 995               } in  fromInt_a2bv ds_d2eO;
 996           ==_a2bx  ::  ta125 -> ta125 -> PrelBase.Bool{-34,W-}
 997           {-# L #-}
 998           ==_a2bx =
 999               ==_a2bs;
1000           fromInt_a2by  ::  PrelBase.Int{-3g,W-} -> ta12z
1001           {-# L #-}
1002           fromInt_a2by =
1003               fromInt_a2bt;
1004           lit_a2bz  ::  ta12z
1005           {-# L #-}
1006           lit_a2bz =
1007               let {
1008                 ds_d2f4  ::  PrelBase.Int{-3g,W-}
1009                 {-# L #-}
1010                 ds_d2f4 =
1011                     PrelBase.I#{-5b,w-}{i} 3
1012               } in  fromInt_a2by ds_d2f4;
1013           fromInt_a2bA  ::  PrelBase.Int{-3g,W-} -> ta125
1014           {-# L #-}
1015           fromInt_a2bA =
1016               fromInt_a2bq;
1017           lit_a2bB  ::  ta125
1018           {-# L #-}
1019           lit_a2bB =
1020               let {
1021                 ds_d2fj  ::  PrelBase.Int{-3g,W-}
1022                 {-# L #-}
1023                 ds_d2fj =
1024                     PrelBase.I#{-5b,w-}{i} 4
1025               } in  fromInt_a2bA ds_d2fj;
1026           >=_a2bC  ::  ta125 -> ta125 -> PrelBase.Bool{-34,W-}
1027           {-# L #-}
1028           >=_a2bC =
1029               PrelBase.>={-8Z,p-} _@_ ta125 d.Ord_a12M;
1030           d.Num_a12O  ::  {PrelBase.Num{-2c,p-} ta125}
1031           {-# L #-}
1032           d.Num_a12O =
1033               d.Num_a12C;
1034           -_a2bD  ::  ta125 -> ta125 -> ta125
1035           {-# L #-}
1036           -_a2bD =
1037               PrelBase.-{-817,p-} _@_ ta125 d.Num_a12O;
1038           fromInt_a2bE  ::  PrelBase.Int{-3g,W-} -> ta12z
1039           {-# L #-}
1040           fromInt_a2bE =
1041               fromInt_a2bt;
1042           lit_a2bF  ::  ta12z
1043           {-# L #-}
1044           lit_a2bF =
1045               let {
1046                 ds_d2fP  ::  PrelBase.Int{-3g,W-}
1047                 {-# L #-}
1048                 ds_d2fP =
1049                     PrelBase.I#{-5b,w-}{i} 2
1050               } in  fromInt_a2bE ds_d2fP;
1051           fromInt_a2bG  ::  PrelBase.Int{-3g,W-} -> ta125
1052           {-# L #-}
1053           fromInt_a2bG =
1054               fromInt_a2bq;
1055           lit_a2bH  ::  ta125
1056           {-# L #-}
1057           lit_a2bH =
1058               let {
1059                 ds_d2g4  ::  PrelBase.Int{-3g,W-}
1060                 {-# L #-}
1061                 ds_d2g4 =
1062                     PrelBase.I#{-5b,w-}{i} 43
1063               } in  fromInt_a2bG ds_d2g4;
1064           >=_a2bI  ::  ta125 -> ta125 -> PrelBase.Bool{-34,W-}
1065           {-# L #-}
1066           >=_a2bI =
1067               >=_a2bC;
1068           -_a2bJ  ::  ta125 -> ta125 -> ta125
1069           {-# L #-}
1070           -_a2bJ =
1071               -_a2bD;
1072           fromInt_a2bK  ::  PrelBase.Int{-3g,W-} -> ta12z
1073           {-# L #-}
1074           fromInt_a2bK =
1075               fromInt_a2bt;
1076           lit_a2bL  ::  ta12z
1077           {-# L #-}
1078           lit_a2bL =
1079               let {
1080                 ds_d2gl  ::  PrelBase.Int{-3g,W-}
1081                 {-# L #-}
1082                 ds_d2gl =
1083                     PrelBase.I#{-5b,w-}{i} 1
1084               } in  fromInt_a2bK ds_d2gl;
1085           fromInt_a2bM  ::  PrelBase.Int{-3g,W-} -> ta125
1086           {-# L #-}
1087           fromInt_a2bM =
1088               fromInt_a2bq;
1089           lit_a2bN  ::  ta125
1090           {-# L #-}
1091           lit_a2bN =
1092               let {
1093                 ds_d2gA  ::  PrelBase.Int{-3g,W-}
1094                 {-# L #-}
1095                 ds_d2gA =
1096                     PrelBase.I#{-5b,w-}{i} 999
1097               } in  fromInt_a2bM ds_d2gA;
1098           >=_a2bO  ::  ta125 -> ta125 -> PrelBase.Bool{-34,W-}
1099           {-# L #-}
1100           >=_a2bO =
1101               >=_a2bC;
1102           -_a2bP  ::  ta125 -> ta125 -> ta125
1103           {-# L #-}
1104           -_a2bP =
1105               -_a2bD;
1106           fromInt_a2bQ  ::  PrelBase.Int{-3g,W-} -> ta12z
1107           {-# L #-}
1108           fromInt_a2bQ =
1109               fromInt_a2bt;
1110           lit_a2bR  ::  ta12z
1111           {-# L #-}
1112           lit_a2bR =
1113               let {
1114                 ds_d2gR  ::  PrelBase.Int{-3g,W-}
1115                 {-# L #-}
1116                 ds_d2gR =
1117                     PrelBase.I#{-5b,w-}{i} 0
1118               } in  fromInt_a2bQ ds_d2gR;
1119           d_a120  ::  ta125 -> ta12z
1120           {-# L #-}
1121           d_a120 =
1122               \ ds_d2hp  ::  ta125
1123                 {-# L #-}
1124                 ds_d2hp ->
1125                   let { fail_d2ig  ::  ta12z
1126                         {-# L #-}
1127                         fail_d2ig =
1128                     let { ds_d2h9  ::  PrelBase.(){-40,W-}
1129                           {-# L #-}
1130                           ds_d2h9 =
1131                       let {
1132                         fail_d2hC  ::  PrelBase.(){-40,W-}
1133                         {-# L #-}
1134                         fail_d2hC =
1135                             GHCerr.irrefutPatError{-8g,w-}
1136                                 _@_ PrelBase.(){-40,W-} _string_ "ds020.hs:13|(n+4)"
1137                       } in
1138                         case
1139                             (\ ds_d2hw  ::  ta125
1140                                {-# L #-}
1141                                ds_d2hw ->
1142                                  >=_a2bC ds_d2hw lit_a2bB)
1143                                 ds_d2hp
1144                         of {
1145                           PrelBase.True{-5E,w-}{i} ->
1146                               let {
1147                                 n_r3L  ::  ta125
1148                                 {-# L #-}
1149                                 n_r3L =
1150                                     (\ ds_d2hV  ::  ta125
1151                                        {-# L #-}
1152                                        ds_d2hV ->
1153                                          -_a2bD ds_d2hV lit_a2bB)
1154                                         ds_d2hp
1155                               } in  PrelBase.(){-60,w-}{i} {};
1156                           PrelBase.False{-58,w-}{i} -> fail_d2hC;
1157                         }
1158                     } in
1159                     lit_a2bF
1160                   } in
1161                   let {
1162                     fail_d2iA  ::  ta12z
1163                     {-# L #-}
1164                     fail_d2iA =
1165                         case ==_a2bx lit_a2bw ds_d2hp of {
1166                           PrelBase.True{-5E,w-}{i} -> lit_a2bz;
1167                           PrelBase.False{-58,w-}{i} -> fail_d2ig;
1168                         }
1169                   } in
1170                     case ==_a2bs lit_a2br ds_d2hp of {
1171                       PrelBase.True{-5E,w-}{i} -> lit_a2bu;
1172                       PrelBase.False{-58,w-}{i} -> fail_d2iA;
1173                     };
1174         } in  d_a120
1175 c{-r4r,x-}  ::  _forall_
1176                 [ta13o ta13b ta13i ta13q]
1177                 =>
1178                 {PrelNum.Fractional{-26,p-} ta13i}
1179                 -> {PrelBase.Num{-2c,p-} ta13b}
1180                 -> ta13q
1181                 -> ta13o
1182                 -> ta13b
1183                 -> ta13i
1184                 -> ta13q
1185 {-# L #-}
1186 c{-r4r,x-} =
1187     _/\_ ta13o ta13b ta13i ta13q -> \ d.Fractional_a13y  ::  {PrelNum.Fractional{-26,p-} ta13i}
1188                                       {-# L #-}
1189                                       d.Fractional_a13y d.Num_a13t  ::  {PrelBase.Num{-2c,p-} ta13b}
1190                                                         {-# L #-}
1191                                                         d.Num_a13t ->
1192         _letrec_ {
1193           d.Eq_a13v  ::  {PrelBase.Eq{-23,p-} ta13b}
1194           {-# L #-}
1195           d.Eq_a13v =
1196               PrelBase.scsel_NumPrelBaseEq{-a2jg,p-} _@_ ta13b d.Num_a13t;
1197           d.Num_a155  ::  {PrelBase.Num{-2c,p-} ta13i}
1198           {-# L #-}
1199           d.Num_a155 =
1200               PrelNum.scsel_FractionalPrelBaseNum{-a2jZ,p-}
1201                   _@_ ta13i d.Fractional_a13y;
1202           d.Eq_a13A  ::  {PrelBase.Eq{-23,p-} ta13i}
1203           {-# L #-}
1204           d.Eq_a13A =
1205               PrelBase.scsel_NumPrelBaseEq{-a2jg,p-} _@_ ta13i d.Num_a155;
1206           fromInt_a2j8  ::  PrelBase.Int{-3g,W-} -> ta13b
1207           {-# L #-}
1208           fromInt_a2j8 =
1209               PrelBase.fromInt{-8R,p-} _@_ ta13b d.Num_a13t;
1210           lit_a2j9  ::  ta13b
1211           {-# L #-}
1212           lit_a2j9 =
1213               let {
1214                 ds_d2km  ::  PrelBase.Int{-3g,W-}
1215                 {-# L #-}
1216                 ds_d2km =
1217                     PrelBase.I#{-5b,w-}{i} 11111
1218               } in  fromInt_a2j8 ds_d2km;
1219           ==_a2ja  ::  ta13b -> ta13b -> PrelBase.Bool{-34,W-}
1220           {-# L #-}
1221           ==_a2ja =
1222               PrelBase.=={-8Y,p-} _@_ ta13b d.Eq_a13v;
1223           fromRational_a2jb  ::  PrelNum.Rational{-3r,p-} -> ta13i
1224           {-# L #-}
1225           fromRational_a2jb =
1226               PrelNum.fromRational{-8T,p-} _@_ ta13i d.Fractional_a13y;
1227           lit_a2jc  ::  ta13i
1228           {-# L #-}
1229           lit_a2jc =
1230               fromRational_a2jb _rational_  62831853 20000000;
1231           ==_a2jd  ::  ta13i -> ta13i -> PrelBase.Bool{-34,W-}
1232           {-# L #-}
1233           ==_a2jd =
1234               PrelBase.=={-8Y,p-} _@_ ta13i d.Eq_a13A;
1235           c_a12W  ::  ta13q -> ta13o -> ta13b -> ta13i -> ta13q
1236           {-# L #-}
1237           c_a12W =
1238               \ x_r3H  ::  ta13q
1239                 {-# L #-}
1240                 x_r3H ds_d2lx  ::  ta13o
1241                       {-# L #-}
1242                       ds_d2lx ds_d2ly  ::  ta13b
1243                               {-# L #-}
1244                               ds_d2ly ds_d2lu  ::  ta13i
1245                                       {-# L #-}
1246                                       ds_d2lu ->
1247                   let { ds_d2m4  ::  PrelBase.(){-40,W-}
1248                         {-# L #-}
1249                         ds_d2m4 =
1250                     let {
1251                       fail_d2lz  ::  PrelBase.(){-40,W-}
1252                       {-# L #-}
1253                       fail_d2lz =
1254                           GHCerr.irrefutPatError{-8g,w-}
1255                               _@_ PrelBase.(){-40,W-} _string_ "ds020.hs:11|3.1415926500000002"
1256                     } in
1257                       case ==_a2jd lit_a2jc ds_d2lu of {
1258                         PrelBase.True{-5E,w-}{i} -> PrelBase.(){-60,w-}{i} {};
1259                         PrelBase.False{-58,w-}{i} -> fail_d2lz;
1260                       }
1261                   } in
1262                   let { ds_d2mh  ::  PrelBase.(){-40,W-}
1263                         {-# L #-}
1264                         ds_d2mh =
1265                     let {
1266                       fail_d2m5  ::  PrelBase.(){-40,W-}
1267                       {-# L #-}
1268                       fail_d2m5 =
1269                           GHCerr.irrefutPatError{-8g,w-}
1270                               _@_ PrelBase.(){-40,W-} _string_ "ds020.hs:11|11111"
1271                     } in
1272                       case ==_a2ja lit_a2j9 ds_d2ly of {
1273                         PrelBase.True{-5E,w-}{i} -> PrelBase.(){-60,w-}{i} {};
1274                         PrelBase.False{-58,w-}{i} -> fail_d2m5;
1275                       }
1276                   } in
1277                   let {
1278                     ds_d2lb  ::  PrelBase.(){-40,W-}
1279                     {-# L #-}
1280                     ds_d2lb =
1281                         PrelBase.(){-60,w-}{i} {}
1282                   } in  x_r3H;
1283         } in  c_a12W
1284 b{-r4s,x-}  ::  _forall_ [ta140 ta147] => [ta140] -> [ta147]
1285 {-# L #-}
1286 b{-r4s,x-} =
1287     _/\_ ta140 ta147 ->
1288         _letrec_ {
1289           b_a13E  ::  [ta140] -> [ta147]
1290           {-# L #-}
1291           b_a13E =
1292               \ ds_d2mU  ::  [ta140]
1293                 {-# L #-}
1294                 ds_d2mU ->
1295                   let { ds_d2nB  ::  (ta140, ta140, [ta140])
1296                         {-# L #-}
1297                         ds_d2nB =
1298                     let {
1299                       fail_d2mV  ::  (ta140, ta140, [ta140])
1300                       {-# L #-}
1301                       fail_d2mV =
1302                           GHCerr.irrefutPatError{-8g,w-}
1303                               _@_ (ta140, ta140, [ta140])
1304                               _string_ "ds020.hs:8|(x PrelBase.: (xs PrelBase.: ys))"
1305                     } in
1306                       case ds_d2mU of {
1307                         PrelBase.[]{-5i,w-}{i} -> fail_d2mV;
1308                         PrelBase.:{-55,w-}{i} x_r3z ds_d2n8 ->
1309                             case ds_d2n8 of {
1310                               PrelBase.[]{-5i,w-}{i} -> fail_d2mV;
1311                               PrelBase.:{-55,w-}{i} xs_r3A ys_r3B ->
1312                                   PrelTup.(,,){-63,w-}{i}
1313                                       {_@_ ta140 _@_ ta140 _@_ [ta140] x_r3z xs_r3A ys_r3B};
1314                             };
1315                       }
1316                   } in
1317                   let {
1318                     x_r3z  ::  ta140
1319                     {-# L #-}
1320                     x_r3z =
1321                         case ds_d2nB of { PrelTup.(,,){-63,w-}{i} x_r3z xs_r3A ys_r3B  ->
1322                         x_r3z;} } in
1323                   let {
1324                     xs_r3A  ::  ta140
1325                     {-# L #-}
1326                     xs_r3A =
1327                         case ds_d2nB of { PrelTup.(,,){-63,w-}{i} x_r3z xs_r3A ys_r3B  ->
1328                         xs_r3A;} } in
1329                   let {
1330                     ys_r3B  ::  [ta140]
1331                     {-# L #-}
1332                     ys_r3B =
1333                         case ds_d2nB of { PrelTup.(,,){-63,w-}{i} x_r3z xs_r3A ys_r3B  ->
1334                         ys_r3B;}
1335                   } in  PrelBase.[]{-5i,w-}{i} _@_ ta147;
1336         } in  b_a13E
1337 a{-r4t,x-}  ::  _forall_
1338                 [ta14y ta14B ta14E ta14G]
1339                 =>
1340                 ([ta14y], [ta14B], [ta14E]) -> [ta14G]
1341 {-# L #-}
1342 a{-r4t,x-} =
1343     _/\_ ta14y ta14B ta14E ta14G ->
1344         _letrec_ {
1345           a_a149  ::  ([ta14y], [ta14B], [ta14E]) -> [ta14G]
1346           {-# L #-}
1347           a_a149 =
1348               \ ds_d2oz  ::  ([ta14y], [ta14B], [ta14E])
1349                 {-# L #-}
1350                 ds_d2oz ->
1351                   let { ds_d2qq  ::  PrelBase.(){-40,W-}
1352                         {-# L #-}
1353                         ds_d2qq =
1354                     let {
1355                       fail_d2oA  ::  PrelBase.(){-40,W-}
1356                       {-# L #-}
1357                       fail_d2oA =
1358                           GHCerr.irrefutPatError{-8g,w-}
1359                               _@_ PrelBase.(){-40,W-}
1360                               _string_ "ds020.hs:5|(PrelBase.[], PrelBase.[], PrelBase.[])"
1361                     } in
1362                       case
1363                           ds_d2oz
1364                       of {
1365                       PrelTup.(,,){-63,w-}{i} ds_d2oJ ds_d2oK ds_d2oL  ->
1366                       case ds_d2oJ of {
1367                         PrelBase.:{-55,w-}{i} ds_d2oS ds_d2oT -> fail_d2oA;
1368                         PrelBase.[]{-5i,w-}{i} ->
1369                             case ds_d2oK of {
1370                               PrelBase.:{-55,w-}{i} ds_d2p6 ds_d2p7 -> fail_d2oA;
1371                               PrelBase.[]{-5i,w-}{i} ->
1372                                   case ds_d2oL of {
1373                                     PrelBase.:{-55,w-}{i} ds_d2pk ds_d2pl -> fail_d2oA;
1374                                     PrelBase.[]{-5i,w-}{i} -> PrelBase.(){-60,w-}{i} {};
1375                                   };
1376                             };
1377                       };}
1378                   } in
1379                   PrelBase.[]{-5i,w-}{i} _@_ ta14G;
1380         } in  a_a149
1381 d.Eq_a14Y  ::  {PrelBase.Eq{-23,p-} PrelBase.Int{-3g,W-}}
1382 {-# L #-}
1383 d.Eq_a14Y =
1384     PrelBase.$d8{-rq4,p-}
1385 ==_a1zR  ::  PrelBase.Int{-3g,W-}
1386              -> PrelBase.Int{-3g,W-}
1387              -> PrelBase.Bool{-34,W-}
1388 {-# L #-}
1389 ==_a1zR =
1390     PrelBase.=={-8Y,p-} _@_ PrelBase.Int{-3g,W-} d.Eq_a14Y
1391 lit_a1zS  ::  PrelBase.Int{-3g,W-}
1392 {-# L #-}
1393 lit_a1zS =
1394     PrelBase.I#{-5b,w-}{i} 2
1395 lit_a1zT  ::  PrelBase.Int{-3g,W-}
1396 {-# L #-}
1397 lit_a1zT =
1398     PrelBase.I#{-5b,w-}{i} 4
1399 lit_a1zU  ::  PrelBase.Int{-3g,W-}
1400 {-# L #-}
1401 lit_a1zU =
1402     PrelBase.I#{-5b,w-}{i} 3
1403 d.Ord_a151  ::  {PrelBase.Ord{-2d,p-} PrelBase.Int{-3g,W-}}
1404 {-# L #-}
1405 d.Ord_a151 =
1406     PrelBase.$d7{-rq3,p-}
1407 >_a1zV  ::  PrelBase.Int{-3g,W-}
1408             -> PrelBase.Int{-3g,W-}
1409             -> PrelBase.Bool{-34,W-}
1410 {-# L #-}
1411 >_a1zV =
1412     PrelBase.>{-ruE,p-} _@_ PrelBase.Int{-3g,W-} d.Ord_a151
1413 lit_a1zW  ::  PrelBase.Int{-3g,W-}
1414 {-# L #-}
1415 lit_a1zW =
1416     lit_a1zU
1417 lit_a1zX  ::  PrelBase.Int{-3g,W-}
1418 {-# L #-}
1419 lit_a1zX =
1420     lit_a1zT
1421 lit_a1zY  ::  PrelBase.Int{-3g,W-}
1422 {-# L #-}
1423 lit_a1zY =
1424     PrelBase.I#{-5b,w-}{i} 5
1425 d.Ord_a154  ::  {PrelBase.Ord{-2d,p-} PrelBase.Int{-3g,W-}}
1426 {-# L #-}
1427 d.Ord_a154 =
1428     d.Ord_a151
1429 <=_a1zZ  ::  PrelBase.Int{-3g,W-}
1430              -> PrelBase.Int{-3g,W-}
1431              -> PrelBase.Bool{-34,W-}
1432 {-# L #-}
1433 <=_a1zZ =
1434     PrelBase.<={-ruD,p-} _@_ PrelBase.Int{-3g,W-} d.Ord_a154
1435 lit_a1A0  ::  PrelBase.Int{-3g,W-}
1436 {-# L #-}
1437 lit_a1A0 =
1438     lit_a1zS
1439 lit_a1A1  ::  PrelBase.Int{-3g,W-}
1440 {-# L #-}
1441 lit_a1A1 =
1442     lit_a1zU
1443 ==_a1A2  ::  PrelBase.Int{-3g,W-}
1444              -> PrelBase.Int{-3g,W-}
1445              -> PrelBase.Bool{-34,W-}
1446 {-# L #-}
1447 ==_a1A2 =
1448     ==_a1zR
1449 lit_a1A3  ::  PrelBase.Int{-3g,W-}
1450 {-# L #-}
1451 lit_a1A3 =
1452     lit_a1zS
1453 lit_a1A4  ::  PrelBase.Int{-3g,W-}
1454 {-# L #-}
1455 lit_a1A4 =
1456     lit_a1zT
1457 lit_a1A5  ::  PrelBase.Int{-3g,W-}
1458 {-# L #-}
1459 lit_a1A5 =
1460     lit_a1zU
1461 end Rec }