ghc/compiler/tests/deSugar/ds022.stderr

   1 ds022.hs:22:
   2     Warning: Pattern match(es) completely overlapped
   3         in the definition of function `i'
   4 ds022.hs:23:
   5     Warning: Pattern match(es) completely overlapped
   6         in the definition of function `i'
   7 ds022.hs:20:
   8     Warning: Possibly incomplete patterns
   9         in the definition of function `i'
  10 ds022.hs:15:
  11     Warning: Possibly incomplete patterns
  12         in the definition of function `h'
  13 ds022.hs:10:
  14     Warning: Possibly incomplete patterns
  15         in the definition of function `g'
  16 ds022.hs:5:
  17     Warning: Possibly incomplete patterns
  18         in the definition of function `f'
  19
  20
  21 ================================================================================
  22 Desugared:
  23 Rec {
  24 d.Eq_a13W  ::
  25     {PrelBase.Eq{-23,p-} PrelBase.Char{-38,p-}}
  26 {-# L #-}
  27 d.Eq_a13W =
  28     PrelBase.$d33{-rbH,p-}
  29 d.Eq_a13U  ::
  30     {PrelBase.Eq{-23,p-} [PrelBase.Char{-38,p-}]}
  31 {-# L #-}
  32 d.Eq_a13U =
  33     PrelBase.$d27{-rbA,p-}
  34         _@_ PrelBase.Char{-38,p-} d.Eq_a13W
  35 ==_a1pN  ::
  36     [PrelBase.Char{-38,p-}]
  37     -> [PrelBase.Char{-38,p-}]
  38     -> PrelBase.Bool{-34,p-}
  39 {-# L #-}
  40 ==_a1pN =
  41     PrelBase.=={-8Y,p-}
  42         _@_ [PrelBase.Char{-38,p-}] d.Eq_a13U
  43 i{-r3E,x-}  ::
  44     _forall_
  45     [t{-a11b-} t{-a11f-} t{-a11j-}]
  46     =>
  47     {PrelNum.Fractional{-26,p-} t{-a11f-}}
  48     -> {PrelBase.Num{-2c,p-} t{-a11b-}}
  49     -> t{-a11b-}
  50     -> t{-a11f-}
  51     -> [t{-a11j-}]
  52 {-# L #-}
  53 i{-r3E,x-} =
  54     _/\_ t{-a11b-} t{-a11f-} t{-a11j-} -> \ d.Fractional_a11r  ::
  55                                                 {PrelNum.Fractional{-26,p-} t{-a11f-}}
  56                                             {-# L #-}
  57                                             d.Fractional_a11r d.Num_a11m  ::
  58                                                                   {PrelBase.Num{-2c,p-} t{-a11b-}}
  59                                                               {-# L #-}
  60                                                               d.Num_a11m ->
  61         let {
  62           d.Eq_a11o  ::
  63               {PrelBase.Eq{-23,p-} t{-a11b-}}
  64           {-# L #-}
  65           d.Eq_a11o =
  66               PrelBase.scsel_NumPrelBaseEq{-a1rD,p-}
  67                   _@_ t{-a11b-} d.Num_a11m } in
  68         let {
  69           d.Num_a13X  ::
  70               {PrelBase.Num{-2c,p-} t{-a11f-}}
  71           {-# L #-}
  72           d.Num_a13X =
  73               PrelNum.scsel_FractionalPrelBaseNum{-a1rM,p-}
  74                   _@_ t{-a11f-} d.Fractional_a11r } in
  75         let {
  76           d.Eq_a11t  ::
  77               {PrelBase.Eq{-23,p-} t{-a11f-}}
  78           {-# L #-}
  79           d.Eq_a11t =
  80               PrelBase.scsel_NumPrelBaseEq{-a1rD,p-}
  81                   _@_ t{-a11f-} d.Num_a13X } in
  82         let {
  83           fromInt_a1rt  ::
  84               PrelBase.Int{-3g,p-} -> t{-a11b-}
  85           {-# L #-}
  86           fromInt_a1rt =
  87               PrelBase.fromInt{-8R,p-}
  88                   _@_ t{-a11b-} d.Num_a11m } in
  89         let { lit_a1rs  ::
  90                   t{-a11b-}
  91               {-# L #-}
  92               lit_a1rs =
  93           let {
  94             ds_d1s9  ::
  95                 PrelBase.Int{-3g,p-}
  96             {-# L #-}
  97             ds_d1s9 =
  98                 PrelBase.I#{-5b,p-}{i}
  99                     1
 100           } in
 101             fromInt_a1rt
 102                 ds_d1s9
 103         } in
 104         let {
 105           ==_a1rr  ::
 106               t{-a11b-} -> t{-a11b-} -> PrelBase.Bool{-34,p-}
 107           {-# L #-}
 108           ==_a1rr =
 109               PrelBase.=={-8Y,p-}
 110                   _@_ t{-a11b-} d.Eq_a11o } in
 111         let {
 112           fromRational_a1rq  ::
 113               PrelNum.Rational{-3r,p-} -> t{-a11f-}
 114           {-# L #-}
 115           fromRational_a1rq =
 116               PrelNum.fromRational{-8T,p-}
 117                   _@_ t{-a11f-} d.Fractional_a11r } in
 118         let {
 119           lit_a1rp  ::
 120               t{-a11f-}
 121           {-# L #-}
 122           lit_a1rp =
 123               fromRational_a1rq
 124                   _rational_  11 10 } in
 125         let {
 126           ==_a1ro  ::
 127               t{-a11f-} -> t{-a11f-} -> PrelBase.Bool{-34,p-}
 128           {-# L #-}
 129           ==_a1ro =
 130               PrelBase.=={-8Y,p-}
 131                   _@_ t{-a11f-} d.Eq_a11t } in
 132         let {
 133           fromInt_a1rn  ::
 134               PrelBase.Int{-3g,p-} -> t{-a11b-}
 135           {-# L #-}
 136           fromInt_a1rn =
 137               fromInt_a1rt } in
 138         let { lit_a1rm  ::
 139                   t{-a11b-}
 140               {-# L #-}
 141               lit_a1rm =
 142           let {
 143             ds_d1sR  ::
 144                 PrelBase.Int{-3g,p-}
 145             {-# L #-}
 146             ds_d1sR =
 147                 PrelBase.I#{-5b,p-}{i}
 148                     2
 149           } in
 150             fromInt_a1rn
 151                 ds_d1sR
 152         } in
 153         let {
 154           ==_a1rl  ::
 155               t{-a11b-} -> t{-a11b-} -> PrelBase.Bool{-34,p-}
 156           {-# L #-}
 157           ==_a1rl =
 158               ==_a1rr } in
 159         let {
 160           fromRational_a1rk  ::
 161               PrelNum.Rational{-3r,p-} -> t{-a11f-}
 162           {-# L #-}
 163           fromRational_a1rk =
 164               fromRational_a1rq } in
 165         let {
 166           lit_a1rj  ::
 167               t{-a11f-}
 168           {-# L #-}
 169           lit_a1rj =
 170               fromRational_a1rk
 171                   _rational_  11 5 } in
 172         let {
 173           ==_a1ri  ::
 174               t{-a11f-} -> t{-a11f-} -> PrelBase.Bool{-34,p-}
 175           {-# L #-}
 176           ==_a1ri =
 177               ==_a1ro } in
 178         let {
 179           lit_a1rh  ::
 180               t{-a11b-}
 181           {-# L #-}
 182           lit_a1rh =
 183               lit_a1rs } in
 184         let {
 185           ==_a1rg  ::
 186               t{-a11b-} -> t{-a11b-} -> PrelBase.Bool{-34,p-}
 187           {-# L #-}
 188           ==_a1rg =
 189               ==_a1rr } in
 190         let {
 191           lit_a1rf  ::
 192               t{-a11f-}
 193           {-# L #-}
 194           lit_a1rf =
 195               lit_a1rp } in
 196         let {
 197           ==_a1re  ::
 198               t{-a11f-} -> t{-a11f-} -> PrelBase.Bool{-34,p-}
 199           {-# L #-}
 200           ==_a1re =
 201               ==_a1ro } in
 202         let {
 203           lit_a1rd  ::
 204               t{-a11b-}
 205           {-# L #-}
 206           lit_a1rd =
 207               lit_a1rm } in
 208         let {
 209           ==_a1rc  ::
 210               t{-a11b-} -> t{-a11b-} -> PrelBase.Bool{-34,p-}
 211           {-# L #-}
 212           ==_a1rc =
 213               ==_a1rr } in
 214         let {
 215           lit_a1rb  ::
 216               t{-a11f-}
 217           {-# L #-}
 218           lit_a1rb =
 219               lit_a1rj } in
 220         let {
 221           ==_a1ra  ::
 222               t{-a11f-} -> t{-a11f-} -> PrelBase.Bool{-34,p-}
 223           {-# L #-}
 224           ==_a1ra =
 225               ==_a1ro
 226         } in
 227           \ ds_d1tC  ::
 228                 t{-a11b-}
 229             {-# L #-}
 230             ds_d1tC ds_d1tF  ::
 231                         t{-a11f-}
 232                     {-# L #-}
 233                     ds_d1tF ->
 234               let {
 235                 fail_d1tG  ::
 236                     [t{-a11j-}]
 237                 {-# L #-}
 238                 fail_d1tG =
 239                     GHCerr.patError{-8r,p-}
 240                         _@_ [t{-a11j-}] _string_ "ds022.hs:20|function `i'" } in
 241               let {
 242                 fail_d1uo  ::
 243                     [t{-a11j-}]
 244                 {-# L #-}
 245                 fail_d1uo =
 246                     case
 247                         ==_a1rl
 248                             lit_a1rm ds_d1tC
 249                     of {
 250                       PrelBase.True{-5E,p-}{i} ->
 251                           case
 252                               ==_a1ri
 253                                   lit_a1rj ds_d1tF
 254                           of {
 255                             PrelBase.True{-5E,p-}{i} ->
 256                                 PrelBase.[]{-5i,p-}{i}
 257                                     _@_ t{-a11j-};
 258                             PrelBase.False{-58,p-}{i} ->
 259                                 fail_d1tG;
 260                           };
 261                       PrelBase.False{-58,p-}{i} ->
 262                           fail_d1tG;
 263                     }
 264               } in
 265                 case
 266                     ==_a1rr
 267                         lit_a1rs ds_d1tC
 268                 of {
 269                   PrelBase.True{-5E,p-}{i} ->
 270                       case
 271                           ==_a1ro
 272                               lit_a1rp ds_d1tF
 273                       of {
 274                         PrelBase.True{-5E,p-}{i} ->
 275                             PrelBase.[]{-5i,p-}{i}
 276                                 _@_ t{-a11j-};
 277                         PrelBase.False{-58,p-}{i} ->
 278                             fail_d1uo;
 279                       };
 280                   PrelBase.False{-58,p-}{i} ->
 281                       fail_d1uo;
 282                 }
 283 h{-r3F,x-}  ::
 284     _forall_
 285     [t{-a11Q-}]
 286     =>
 287     PrelBase.Char{-38,p-} -> [PrelBase.Char{-38,p-}] -> [t{-a11Q-}]
 288 {-# L #-}
 289 h{-r3F,x-} =
 290     _/\_ t{-a11Q-} ->
 291         let {
 292           ==_a1v3  ::
 293               [PrelBase.Char{-38,p-}]
 294               -> [PrelBase.Char{-38,p-}]
 295               -> PrelBase.Bool{-34,p-}
 296           {-# L #-}
 297           ==_a1v3 =
 298               ==_a1pN
 299         } in
 300           \ ds_d1vj  ::
 301                 PrelBase.Char{-38,p-}
 302             {-# L #-}
 303             ds_d1vj ds_d1vk  ::
 304                         [PrelBase.Char{-38,p-}]
 305                     {-# L #-}
 306                     ds_d1vk ->
 307               let {
 308                 fail_d1vl  ::
 309                     [t{-a11Q-}]
 310                 {-# L #-}
 311                 fail_d1vl =
 312                     GHCerr.patError{-8r,p-}
 313                         _@_ [t{-a11Q-}] _string_ "ds022.hs:15|function `h'"
 314               } in
 315                 case ds_d1vj of { PrelBase.C#{-54,p-}{i} ds_d1vu  ->
 316                 case# ds_d1vu of {
 317                   'a' ->
 318                       case ds_d1vk of {
 319                         PrelBase.:{-55,p-}{i} ds_d1vK ds_d1vJ ->
 320                             fail_d1vl;
 321                         PrelBase.[]{-5i,p-}{i} ->
 322                             PrelBase.[]{-5i,p-}{i}
 323                                 _@_ t{-a11Q-};
 324                       };
 325                   ''' ->
 326                       case
 327                           ==_a1v3
 328                               _string_ "foo" ds_d1vk
 329                       of {
 330                         PrelBase.True{-5E,p-}{i} ->
 331                             PrelBase.[]{-5i,p-}{i}
 332                                 _@_ t{-a11Q-};
 333                         PrelBase.False{-58,p-}{i} ->
 334                             fail_d1vl;
 335                       };
 336                   '"' ->
 337                       case ds_d1vk of {
 338                         PrelBase.[]{-5i,p-}{i} ->
 339                             fail_d1vl;
 340                         PrelBase.:{-55,p-}{i} ds_d1wC ds_d1wD ->
 341                             case ds_d1wC of { PrelBase.C#{-54,p-}{i} ds_d1wM  ->
 342                             case# ds_d1wM of {
 343                               'b' ->
 344                                   case ds_d1wD of {
 345                                     PrelBase.[]{-5i,p-}{i} ->
 346                                         fail_d1vl;
 347                                     PrelBase.:{-55,p-}{i} ds_d1x7 ds_d1x8 ->
 348                                         case ds_d1x7 of { PrelBase.C#{-54,p-}{i} ds_d1xh  ->
 349                                         case# ds_d1xh of {
 350                                           'a' ->
 351                                               case ds_d1x8 of {
 352                                                 PrelBase.[]{-5i,p-}{i} ->
 353                                                     fail_d1vl;
 354                                                 PrelBase.:{-55,p-}{i} ds_d1xC ds_d1xD ->
 355                                                     case
 356                                                         ds_d1xC
 357                                                     of {
 358                                                     PrelBase.C#{-54,p-}{i} ds_d1xM  ->
 359                                                     case# ds_d1xM of {
 360                                                       'r' ->
 361                                                           case ds_d1xD of {
 362                                                             PrelBase.:{-55,p-}{i} ds_d1y2 ds_d1y1 ->
 363                                                                 fail_d1vl;
 364                                                             PrelBase.[]{-5i,p-}{i} ->
 365                                                                 PrelBase.[]{-5i,p-}{i}
 366                                                                     _@_ t{-a11Q-};
 367                                                           };
 368                                                       ds_d1yd ->
 369                                                           fail_d1vl;
 370                                                     };};
 371                                               };
 372                                           ds_d1yg ->
 373                                               fail_d1vl;
 374                                         };};
 375                                   };
 376                               ds_d1yj ->
 377                                   fail_d1vl;
 378                             };};
 379                       };
 380                   '¨' ->
 381                       let {
 382                         blob_r3D  ::
 383                             [PrelBase.Char{-38,p-}]
 384                         {-# L #-}
 385                         blob_r3D =
 386                             ds_d1vk
 387                       } in
 388                         PrelBase.[]{-5i,p-}{i}
 389                             _@_ t{-a11Q-};
 390                   ds_d1yx ->
 391                       fail_d1vl;
 392                 };}
 393 g{-r3G,x-}  ::
 394     _forall_
 395     [t{-a12s-} t{-a12w-} t{-a12A-}]
 396     =>
 397     {PrelNum.Fractional{-26,p-} t{-a12w-}}
 398     -> {PrelBase.Num{-2c,p-} t{-a12s-}}
 399     -> t{-a12s-}
 400     -> t{-a12w-}
 401     -> [t{-a12A-}]
 402 {-# L #-}
 403 g{-r3G,x-} =
 404     _/\_ t{-a12s-} t{-a12w-} t{-a12A-} -> \ d.Fractional_a12I  ::
 405                                                 {PrelNum.Fractional{-26,p-} t{-a12w-}}
 406                                             {-# L #-}
 407                                             d.Fractional_a12I d.Num_a12D  ::
 408                                                                   {PrelBase.Num{-2c,p-} t{-a12s-}}
 409                                                               {-# L #-}
 410                                                               d.Num_a12D ->
 411         let {
 412           d.Eq_a12F  ::
 413               {PrelBase.Eq{-23,p-} t{-a12s-}}
 414           {-# L #-}
 415           d.Eq_a12F =
 416               PrelBase.scsel_NumPrelBaseEq{-a1rD,p-}
 417                   _@_ t{-a12s-} d.Num_a12D } in
 418         let {
 419           d.Num_a13Y  ::
 420               {PrelBase.Num{-2c,p-} t{-a12w-}}
 421           {-# L #-}
 422           d.Num_a13Y =
 423               PrelNum.scsel_FractionalPrelBaseNum{-a1rM,p-}
 424                   _@_ t{-a12w-} d.Fractional_a12I } in
 425         let {
 426           d.Eq_a12K  ::
 427               {PrelBase.Eq{-23,p-} t{-a12w-}}
 428           {-# L #-}
 429           d.Eq_a12K =
 430               PrelBase.scsel_NumPrelBaseEq{-a1rD,p-}
 431                   _@_ t{-a12w-} d.Num_a13Y } in
 432         let {
 433           fromInteger_a1zV  ::
 434               PrelBase.Integer{-3h,p-} -> t{-a12s-}
 435           {-# L #-}
 436           fromInteger_a1zV =
 437               PrelBase.fromInteger{-8S,p-}
 438                   _@_ t{-a12s-} d.Num_a12D } in
 439         let {
 440           lit_a1zU  ::
 441               t{-a12s-}
 442           {-# L #-}
 443           lit_a1zU =
 444               fromInteger_a1zV
 445                   _integer_  11111111111111111111111 } in
 446         let {
 447           ==_a1zT  ::
 448               t{-a12s-} -> t{-a12s-} -> PrelBase.Bool{-34,p-}
 449           {-# L #-}
 450           ==_a1zT =
 451               PrelBase.=={-8Y,p-}
 452                   _@_ t{-a12s-} d.Eq_a12F } in
 453         let {
 454           fromRational_a1zS  ::
 455               PrelNum.Rational{-3r,p-} -> t{-a12w-}
 456           {-# L #-}
 457           fromRational_a1zS =
 458               PrelNum.fromRational{-8T,p-}
 459                   _@_ t{-a12w-} d.Fractional_a12I } in
 460         let {
 461           lit_a1zR  ::
 462               t{-a12w-}
 463           {-# L #-}
 464           lit_a1zR =
 465               fromRational_a1zS
 466                   _rational_  111111111111111111 100000000000000000 } in
 467         let {
 468           ==_a1zQ  ::
 469               t{-a12w-} -> t{-a12w-} -> PrelBase.Bool{-34,p-}
 470           {-# L #-}
 471           ==_a1zQ =
 472               PrelBase.=={-8Y,p-}
 473                   _@_ t{-a12w-} d.Eq_a12K } in
 474         let {
 475           fromInteger_a1zP  ::
 476               PrelBase.Integer{-3h,p-} -> t{-a12s-}
 477           {-# L #-}
 478           fromInteger_a1zP =
 479               fromInteger_a1zV } in
 480         let {
 481           lit_a1zO  ::
 482               t{-a12s-}
 483           {-# L #-}
 484           lit_a1zO =
 485               fromInteger_a1zP
 486                   _integer_  22222222222222222222222 } in
 487         let {
 488           ==_a1zN  ::
 489               t{-a12s-} -> t{-a12s-} -> PrelBase.Bool{-34,p-}
 490           {-# L #-}
 491           ==_a1zN =
 492               ==_a1zT } in
 493         let {
 494           fromRational_a1zM  ::
 495               PrelNum.Rational{-3r,p-} -> t{-a12w-}
 496           {-# L #-}
 497           fromRational_a1zM =
 498               fromRational_a1zS } in
 499         let {
 500           lit_a1zL  ::
 501               t{-a12w-}
 502           {-# L #-}
 503           lit_a1zL =
 504               fromRational_a1zM
 505                   _rational_  111111111111111111 50000000000000000 } in
 506         let {
 507           ==_a1zK  ::
 508               t{-a12w-} -> t{-a12w-} -> PrelBase.Bool{-34,p-}
 509           {-# L #-}
 510           ==_a1zK =
 511               ==_a1zQ } in
 512         let {
 513           fromInteger_a1zJ  ::
 514               PrelBase.Integer{-3h,p-} -> t{-a12s-}
 515           {-# L #-}
 516           fromInteger_a1zJ =
 517               fromInteger_a1zV } in
 518         let {
 519           lit_a1zI  ::
 520               t{-a12s-}
 521           {-# L #-}
 522           lit_a1zI =
 523               fromInteger_a1zJ
 524                   _integer_  33333333333333333333333 } in
 525         let {
 526           ==_a1zH  ::
 527               t{-a12s-} -> t{-a12s-} -> PrelBase.Bool{-34,p-}
 528           {-# L #-}
 529           ==_a1zH =
 530               ==_a1zT } in
 531         let {
 532           fromRational_a1zG  ::
 533               PrelNum.Rational{-3r,p-} -> t{-a12w-}
 534           {-# L #-}
 535           fromRational_a1zG =
 536               fromRational_a1zS } in
 537         let {
 538           lit_a1zF  ::
 539               t{-a12w-}
 540           {-# L #-}
 541           lit_a1zF =
 542               fromRational_a1zG
 543                   _rational_  333333333333333333 100000000000000000 } in
 544         let {
 545           ==_a1zE  ::
 546               t{-a12w-} -> t{-a12w-} -> PrelBase.Bool{-34,p-}
 547           {-# L #-}
 548           ==_a1zE =
 549               ==_a1zQ } in
 550         let {
 551           fromInteger_a1zD  ::
 552               PrelBase.Integer{-3h,p-} -> t{-a12s-}
 553           {-# L #-}
 554           fromInteger_a1zD =
 555               fromInteger_a1zV } in
 556         let {
 557           lit_a1zC  ::
 558               t{-a12s-}
 559           {-# L #-}
 560           lit_a1zC =
 561               fromInteger_a1zD
 562                   _integer_  44444444444444444444444 } in
 563         let {
 564           ==_a1zB  ::
 565               t{-a12s-} -> t{-a12s-} -> PrelBase.Bool{-34,p-}
 566           {-# L #-}
 567           ==_a1zB =
 568               ==_a1zT } in
 569         let {
 570           fromRational_a1zA  ::
 571               PrelNum.Rational{-3r,p-} -> t{-a12w-}
 572           {-# L #-}
 573           fromRational_a1zA =
 574               fromRational_a1zS } in
 575         let {
 576           lit_a1zz  ::
 577               t{-a12w-}
 578           {-# L #-}
 579           lit_a1zz =
 580               fromRational_a1zA
 581                   _rational_  111111111111111111 25000000000000000 } in
 582         let {
 583           ==_a1zy  ::
 584               t{-a12w-} -> t{-a12w-} -> PrelBase.Bool{-34,p-}
 585           {-# L #-}
 586           ==_a1zy =
 587               ==_a1zQ
 588         } in
 589           \ ds_d1Cc  ::
 590                 t{-a12s-}
 591             {-# L #-}
 592             ds_d1Cc ds_d1Cf  ::
 593                         t{-a12w-}
 594                     {-# L #-}
 595                     ds_d1Cf ->
 596               let {
 597                 fail_d1Cg  ::
 598                     [t{-a12A-}]
 599                 {-# L #-}
 600                 fail_d1Cg =
 601                     GHCerr.patError{-8r,p-}
 602                         _@_ [t{-a12A-}] _string_ "ds022.hs:10|function `g'" } in
 603               let { fail_d1Eo  ::
 604                         [t{-a12A-}]
 605                     {-# L #-}
 606                     fail_d1Eo =
 607                 let { fail_d1DG  ::
 608                           [t{-a12A-}]
 609                       {-# L #-}
 610                       fail_d1DG =
 611                   let {
 612                     fail_d1CY  ::
 613                         [t{-a12A-}]
 614                     {-# L #-}
 615                     fail_d1CY =
 616                         case
 617                             ==_a1zB
 618                                 lit_a1zC ds_d1Cc
 619                         of {
 620                           PrelBase.True{-5E,p-}{i} ->
 621                               case
 622                                   ==_a1zy
 623                                       lit_a1zz ds_d1Cf
 624                               of {
 625                                 PrelBase.True{-5E,p-}{i} ->
 626                                     PrelBase.[]{-5i,p-}{i}
 627                                         _@_ t{-a12A-};
 628                                 PrelBase.False{-58,p-}{i} ->
 629                                     fail_d1Cg;
 630                               };
 631                           PrelBase.False{-58,p-}{i} ->
 632                               fail_d1Cg;
 633                         }
 634                   } in
 635                     case
 636                         ==_a1zH
 637                             lit_a1zI ds_d1Cc
 638                     of {
 639                       PrelBase.True{-5E,p-}{i} ->
 640                           case
 641                               ==_a1zE
 642                                   lit_a1zF ds_d1Cf
 643                           of {
 644                             PrelBase.True{-5E,p-}{i} ->
 645                                 PrelBase.[]{-5i,p-}{i}
 646                                     _@_ t{-a12A-};
 647                             PrelBase.False{-58,p-}{i} ->
 648                                 fail_d1CY;
 649                           };
 650                       PrelBase.False{-58,p-}{i} ->
 651                           fail_d1CY;
 652                     }
 653                 } in
 654                 case
 655                     ==_a1zN
 656                         lit_a1zO ds_d1Cc
 657                 of {
 658                   PrelBase.True{-5E,p-}{i} ->
 659                       case
 660                           ==_a1zK
 661                               lit_a1zL ds_d1Cf
 662                       of {
 663                         PrelBase.True{-5E,p-}{i} ->
 664                             PrelBase.[]{-5i,p-}{i}
 665                                 _@_ t{-a12A-};
 666                         PrelBase.False{-58,p-}{i} ->
 667                             fail_d1DG;
 668                       };
 669                   PrelBase.False{-58,p-}{i} ->
 670                       fail_d1DG;
 671                 }
 672               } in
 673               case
 674                   ==_a1zT
 675                       lit_a1zU ds_d1Cc
 676               of {
 677                 PrelBase.True{-5E,p-}{i} ->
 678                     case
 679                         ==_a1zQ
 680                             lit_a1zR ds_d1Cf
 681                     of {
 682                       PrelBase.True{-5E,p-}{i} ->
 683                           PrelBase.[]{-5i,p-}{i}
 684                               _@_ t{-a12A-};
 685                       PrelBase.False{-58,p-}{i} ->
 686                           fail_d1Eo;
 687                     };
 688                 PrelBase.False{-58,p-}{i} ->
 689                     fail_d1Eo;
 690               }
 691 f{-r3H,x-}  ::
 692     _forall_
 693     [t{-a13s-} t{-a13w-} t{-a13A-}]
 694     =>
 695     {PrelNum.Fractional{-26,p-} t{-a13w-}}
 696     -> {PrelBase.Num{-2c,p-} t{-a13s-}}
 697     -> t{-a13s-}
 698     -> t{-a13w-}
 699     -> [t{-a13A-}]
 700 {-# L #-}
 701 f{-r3H,x-} =
 702     _/\_ t{-a13s-} t{-a13w-} t{-a13A-} -> \ d.Fractional_a13I  ::
 703                                                 {PrelNum.Fractional{-26,p-} t{-a13w-}}
 704                                             {-# L #-}
 705                                             d.Fractional_a13I d.Num_a13D  ::
 706                                                                   {PrelBase.Num{-2c,p-} t{-a13s-}}
 707                                                               {-# L #-}
 708                                                               d.Num_a13D ->
 709         let {
 710           d.Eq_a13F  ::
 711               {PrelBase.Eq{-23,p-} t{-a13s-}}
 712           {-# L #-}
 713           d.Eq_a13F =
 714               PrelBase.scsel_NumPrelBaseEq{-a1rD,p-}
 715                   _@_ t{-a13s-} d.Num_a13D } in
 716         let {
 717           d.Num_a13Z  ::
 718               {PrelBase.Num{-2c,p-} t{-a13w-}}
 719           {-# L #-}
 720           d.Num_a13Z =
 721               PrelNum.scsel_FractionalPrelBaseNum{-a1rM,p-}
 722                   _@_ t{-a13w-} d.Fractional_a13I } in
 723         let {
 724           d.Eq_a13K  ::
 725               {PrelBase.Eq{-23,p-} t{-a13w-}}
 726           {-# L #-}
 727           d.Eq_a13K =
 728               PrelBase.scsel_NumPrelBaseEq{-a1rD,p-}
 729                   _@_ t{-a13w-} d.Num_a13Z } in
 730         let {
 731           fromInt_a1Gk  ::
 732               PrelBase.Int{-3g,p-} -> t{-a13s-}
 733           {-# L #-}
 734           fromInt_a1Gk =
 735               PrelBase.fromInt{-8R,p-}
 736                   _@_ t{-a13s-} d.Num_a13D } in
 737         let { lit_a1Gj  ::
 738                   t{-a13s-}
 739               {-# L #-}
 740               lit_a1Gj =
 741           let {
 742             ds_d1GY  ::
 743                 PrelBase.Int{-3g,p-}
 744             {-# L #-}
 745             ds_d1GY =
 746                 PrelBase.I#{-5b,p-}{i}
 747                     1
 748           } in
 749             fromInt_a1Gk
 750                 ds_d1GY
 751         } in
 752         let {
 753           ==_a1Gi  ::
 754               t{-a13s-} -> t{-a13s-} -> PrelBase.Bool{-34,p-}
 755           {-# L #-}
 756           ==_a1Gi =
 757               PrelBase.=={-8Y,p-}
 758                   _@_ t{-a13s-} d.Eq_a13F } in
 759         let {
 760           fromRational_a1Gh  ::
 761               PrelNum.Rational{-3r,p-} -> t{-a13w-}
 762           {-# L #-}
 763           fromRational_a1Gh =
 764               PrelNum.fromRational{-8T,p-}
 765                   _@_ t{-a13w-} d.Fractional_a13I } in
 766         let {
 767           lit_a1Gg  ::
 768               t{-a13w-}
 769           {-# L #-}
 770           lit_a1Gg =
 771               fromRational_a1Gh
 772                   _rational_  11 10 } in
 773         let {
 774           ==_a1Gf  ::
 775               t{-a13w-} -> t{-a13w-} -> PrelBase.Bool{-34,p-}
 776           {-# L #-}
 777           ==_a1Gf =
 778               PrelBase.=={-8Y,p-}
 779                   _@_ t{-a13w-} d.Eq_a13K } in
 780         let {
 781           fromInt_a1Ge  ::
 782               PrelBase.Int{-3g,p-} -> t{-a13s-}
 783           {-# L #-}
 784           fromInt_a1Ge =
 785               fromInt_a1Gk } in
 786         let { lit_a1Gd  ::
 787                   t{-a13s-}
 788               {-# L #-}
 789               lit_a1Gd =
 790           let {
 791             ds_d1HG  ::
 792                 PrelBase.Int{-3g,p-}
 793             {-# L #-}
 794             ds_d1HG =
 795                 PrelBase.I#{-5b,p-}{i}
 796                     2
 797           } in
 798             fromInt_a1Ge
 799                 ds_d1HG
 800         } in
 801         let {
 802           ==_a1Gc  ::
 803               t{-a13s-} -> t{-a13s-} -> PrelBase.Bool{-34,p-}
 804           {-# L #-}
 805           ==_a1Gc =
 806               ==_a1Gi } in
 807         let {
 808           fromRational_a1Gb  ::
 809               PrelNum.Rational{-3r,p-} -> t{-a13w-}
 810           {-# L #-}
 811           fromRational_a1Gb =
 812               fromRational_a1Gh } in
 813         let {
 814           lit_a1Ga  ::
 815               t{-a13w-}
 816           {-# L #-}
 817           lit_a1Ga =
 818               fromRational_a1Gb
 819                   _rational_  11 5 } in
 820         let {
 821           ==_a1G9  ::
 822               t{-a13w-} -> t{-a13w-} -> PrelBase.Bool{-34,p-}
 823           {-# L #-}
 824           ==_a1G9 =
 825               ==_a1Gf } in
 826         let {
 827           fromInt_a1G8  ::
 828               PrelBase.Int{-3g,p-} -> t{-a13s-}
 829           {-# L #-}
 830           fromInt_a1G8 =
 831               fromInt_a1Gk } in
 832         let { lit_a1G7  ::
 833                   t{-a13s-}
 834               {-# L #-}
 835               lit_a1G7 =
 836           let {
 837             ds_d1I3  ::
 838                 PrelBase.Int{-3g,p-}
 839             {-# L #-}
 840             ds_d1I3 =
 841                 PrelBase.I#{-5b,p-}{i}
 842                     3
 843           } in
 844             fromInt_a1G8
 845                 ds_d1I3
 846         } in
 847         let {
 848           ==_a1G6  ::
 849               t{-a13s-} -> t{-a13s-} -> PrelBase.Bool{-34,p-}
 850           {-# L #-}
 851           ==_a1G6 =
 852               ==_a1Gi } in
 853         let {
 854           fromRational_a1G5  ::
 855               PrelNum.Rational{-3r,p-} -> t{-a13w-}
 856           {-# L #-}
 857           fromRational_a1G5 =
 858               fromRational_a1Gh } in
 859         let {
 860           lit_a1G4  ::
 861               t{-a13w-}
 862           {-# L #-}
 863           lit_a1G4 =
 864               fromRational_a1G5
 865                   _rational_  33 10 } in
 866         let {
 867           ==_a1G3  ::
 868               t{-a13w-} -> t{-a13w-} -> PrelBase.Bool{-34,p-}
 869           {-# L #-}
 870           ==_a1G3 =
 871               ==_a1Gf } in
 872         let {
 873           fromInt_a1G2  ::
 874               PrelBase.Int{-3g,p-} -> t{-a13s-}
 875           {-# L #-}
 876           fromInt_a1G2 =
 877               fromInt_a1Gk } in
 878         let { lit_a1G1  ::
 879                   t{-a13s-}
 880               {-# L #-}
 881               lit_a1G1 =
 882           let {
 883             ds_d1Iq  ::
 884                 PrelBase.Int{-3g,p-}
 885             {-# L #-}
 886             ds_d1Iq =
 887                 PrelBase.I#{-5b,p-}{i}
 888                     4
 889           } in
 890             fromInt_a1G2
 891                 ds_d1Iq
 892         } in
 893         let {
 894           ==_a1G0  ::
 895               t{-a13s-} -> t{-a13s-} -> PrelBase.Bool{-34,p-}
 896           {-# L #-}
 897           ==_a1G0 =
 898               ==_a1Gi } in
 899         let {
 900           fromRational_a1FZ  ::
 901               PrelNum.Rational{-3r,p-} -> t{-a13w-}
 902           {-# L #-}
 903           fromRational_a1FZ =
 904               fromRational_a1Gh } in
 905         let {
 906           lit_a1FY  ::
 907               t{-a13w-}
 908           {-# L #-}
 909           lit_a1FY =
 910               fromRational_a1FZ
 911                   _rational_  22 5 } in
 912         let {
 913           ==_a1FX  ::
 914               t{-a13w-} -> t{-a13w-} -> PrelBase.Bool{-34,p-}
 915           {-# L #-}
 916           ==_a1FX =
 917               ==_a1Gf
 918         } in
 919           \ ds_d1Jb  ::
 920                 t{-a13s-}
 921             {-# L #-}
 922             ds_d1Jb ds_d1Je  ::
 923                         t{-a13w-}
 924                     {-# L #-}
 925                     ds_d1Je ->
 926               let {
 927                 fail_d1Jf  ::
 928                     [t{-a13A-}]
 929                 {-# L #-}
 930                 fail_d1Jf =
 931                     GHCerr.patError{-8r,p-}
 932                         _@_ [t{-a13A-}] _string_ "ds022.hs:5|function `f'" } in
 933               let { fail_d1Ln  ::
 934                         [t{-a13A-}]
 935                     {-# L #-}
 936                     fail_d1Ln =
 937                 let { fail_d1KF  ::
 938                           [t{-a13A-}]
 939                       {-# L #-}
 940                       fail_d1KF =
 941                   let {
 942                     fail_d1JX  ::
 943                         [t{-a13A-}]
 944                     {-# L #-}
 945                     fail_d1JX =
 946                         case
 947                             ==_a1G0
 948                                 lit_a1G1 ds_d1Jb
 949                         of {
 950                           PrelBase.True{-5E,p-}{i} ->
 951                               case
 952                                   ==_a1FX
 953                                       lit_a1FY ds_d1Je
 954                               of {
 955                                 PrelBase.True{-5E,p-}{i} ->
 956                                     PrelBase.[]{-5i,p-}{i}
 957                                         _@_ t{-a13A-};
 958                                 PrelBase.False{-58,p-}{i} ->
 959                                     fail_d1Jf;
 960                               };
 961                           PrelBase.False{-58,p-}{i} ->
 962                               fail_d1Jf;
 963                         }
 964                   } in
 965                     case
 966                         ==_a1G6
 967                             lit_a1G7 ds_d1Jb
 968                     of {
 969                       PrelBase.True{-5E,p-}{i} ->
 970                           case
 971                               ==_a1G3
 972                                   lit_a1G4 ds_d1Je
 973                           of {
 974                             PrelBase.True{-5E,p-}{i} ->
 975                                 PrelBase.[]{-5i,p-}{i}
 976                                     _@_ t{-a13A-};
 977                             PrelBase.False{-58,p-}{i} ->
 978                                 fail_d1JX;
 979                           };
 980                       PrelBase.False{-58,p-}{i} ->
 981                           fail_d1JX;
 982                     }
 983                 } in
 984                 case
 985                     ==_a1Gc
 986                         lit_a1Gd ds_d1Jb
 987                 of {
 988                   PrelBase.True{-5E,p-}{i} ->
 989                       case
 990                           ==_a1G9
 991                               lit_a1Ga ds_d1Je
 992                       of {
 993                         PrelBase.True{-5E,p-}{i} ->
 994                             PrelBase.[]{-5i,p-}{i}
 995                                 _@_ t{-a13A-};
 996                         PrelBase.False{-58,p-}{i} ->
 997                             fail_d1KF;
 998                       };
 999                   PrelBase.False{-58,p-}{i} ->
1000                       fail_d1KF;
1001                 }
1002               } in
1003               case
1004                   ==_a1Gi
1005                       lit_a1Gj ds_d1Jb
1006               of {
1007                 PrelBase.True{-5E,p-}{i} ->
1008                     case
1009                         ==_a1Gf
1010                             lit_a1Gg ds_d1Je
1011                     of {
1012                       PrelBase.True{-5E,p-}{i} ->
1013                           PrelBase.[]{-5i,p-}{i}
1014                               _@_ t{-a13A-};
1015                       PrelBase.False{-58,p-}{i} ->
1016                           fail_d1Ln;
1017                     };
1018                 PrelBase.False{-58,p-}{i} ->
1019                     fail_d1Ln;
1020               }
1021 end Rec }