ghc/compiler/tests/deSugar/ds018.stderr

   1 Desugared:
   2 Tests.f :: for all d. d -> d -> d -> [d]
   3 Tests.f =
   4     /\ o175 -> \ x.282 y.283 z.284 ->
   5         :! o175
   6            x.282
   7            (:! o175
   8                y.283
   9                (:! o175
  10                    z.284
  11                    (:! o175 x.282 (:! o175 y.283 (:! o175 z.284 (Nil! o175))))))
  12 Tests.f2 :: for all d, e, f. d -> e -> [f]
  13 Tests.f2 = /\ o178 o179 t180 -> \ x.285 y.286 -> Nil! t180
  14 Tests.g1 :: for all d, e. d -> e -> ()
  15 Tests.g1 = /\ o183 o184 -> \ x.287 y.288 -> MkTuple0
  16 Tests.g ::
  17     for all d, e, f.
  18         d
  19         -> e
  20            -> f
  21               -> (d,
  22                   e,
  23                   f,
  24                   d,
  25                   e,
  26                   f,
  27                   d,
  28                   e,
  29                   f,
  30                   d,
  31                   e,
  32                   f,
  33                   d,
  34                   e,
  35                   f,
  36                   d,
  37                   e,
  38                   f,
  39                   d,
  40                   e,
  41                   f,
  42                   d,
  43                   e,
  44                   f,
  45                   d,
  46                   e,
  47                   f,
  48                   d,
  49                   e,
  50                   f,
  51                   d,
  52                   e,
  53                   f,
  54                   d,
  55                   e,
  56                   f,
  57                   d,
  58                   e,
  59                   f,
  60                   d,
  61                   e,
  62                   f,
  63                   d,
  64                   e,
  65                   f,
  66                   d,
  67                   e,
  68                   f,
  69                   d,
  70                   e,
  71                   f,
  72                   d,
  73                   e,
  74                   f,
  75                   d,
  76                   e,
  77                   f,
  78                   d,
  79                   e,
  80                   f,
  81                   d,
  82                   e,
  83                   f,
  84                   d,
  85                   e,
  86                   f,
  87                   d,
  88                   e,
  89                   f,
  90                   d,
  91                   e,
  92                   f,
  93                   d,
  94                   e,
  95                   f,
  96                   d,
  97                   e,
  98                   f,
  99                   d,
 100                   e,
 101                   f,
 102                   d,
 103                   e,
 104                   f,
 105                   d,
 106                   e,
 107                   f,
 108                   d,
 109                   e,
 110                   f,
 111                   d,
 112                   e,
 113                   f,
 114                   d,
 115                   e,
 116                   f,
 117                   d,
 118                   e,
 119                   f,
 120                   d,
 121                   e,
 122                   f,
 123                   d,
 124                   e,
 125                   f,
 126                   d,
 127                   e,
 128                   f,
 129                   d,
 130                   e,
 131                   f,
 132                   d,
 133                   e,
 134                   f,
 135                   d,
 136                   e,
 137                   f,
 138                   d,
 139                   e,
 140                   f,
 141                   d,
 142                   e,
 143                   f,
 144                   d,
 145                   e,
 146                   f,
 147                   d,
 148                   e,
 149                   f,
 150                   d,
 151                   e,
 152                   f,
 153                   d,
 154                   e,
 155                   f,
 156                   d,
 157                   e,
 158                   f,
 159                   d,
 160                   e,
 161                   f,
 162                   d,
 163                   e,
 164                   f,
 165                   d,
 166                   e,
 167                   f,
 168                   d,
 169                   e,
 170                   f)
 171 Tests.g =
 172     /\ o187 o188 o189 -> \ x.289 y.290 z.291 ->
 173         MkTuple150!
 174             o187
 175             o188
 176             o189
 177             o187
 178             o188
 179             o189
 180             o187
 181             o188
 182             o189
 183             o187
 184             o188
 185             o189
 186             o187
 187             o188
 188             o189
 189             o187
 190             o188
 191             o189
 192             o187
 193             o188
 194             o189
 195             o187
 196             o188
 197             o189
 198             o187
 199             o188
 200             o189
 201             o187
 202             o188
 203             o189
 204             o187
 205             o188
 206             o189
 207             o187
 208             o188
 209             o189
 210             o187
 211             o188
 212             o189
 213             o187
 214             o188
 215             o189
 216             o187
 217             o188
 218             o189
 219             o187
 220             o188
 221             o189
 222             o187
 223             o188
 224             o189
 225             o187
 226             o188
 227             o189
 228             o187
 229             o188
 230             o189
 231             o187
 232             o188
 233             o189
 234             o187
 235             o188
 236             o189
 237             o187
 238             o188
 239             o189
 240             o187
 241             o188
 242             o189
 243             o187
 244             o188
 245             o189
 246             o187
 247             o188
 248             o189
 249             o187
 250             o188
 251             o189
 252             o187
 253             o188
 254             o189
 255             o187
 256             o188
 257             o189
 258             o187
 259             o188
 260             o189
 261             o187
 262             o188
 263             o189
 264             o187
 265             o188
 266             o189
 267             o187
 268             o188
 269             o189
 270             o187
 271             o188
 272             o189
 273             o187
 274             o188
 275             o189
 276             o187
 277             o188
 278             o189
 279             o187
 280             o188
 281             o189
 282             o187
 283             o188
 284             o189
 285             o187
 286             o188
 287             o189
 288             o187
 289             o188
 290             o189
 291             o187
 292             o188
 293             o189
 294             o187
 295             o188
 296             o189
 297             o187
 298             o188
 299             o189
 300             o187
 301             o188
 302             o189
 303             o187
 304             o188
 305             o189
 306             o187
 307             o188
 308             o189
 309             o187
 310             o188
 311             o189
 312             o187
 313             o188
 314             o189
 315             o187
 316             o188
 317             o189
 318             o187
 319             o188
 320             o189
 321             o187
 322             o188
 323             o189
 324             x.289
 325             y.290
 326             z.291
 327             x.289
 328             y.290
 329             z.291
 330             x.289
 331             y.290
 332             z.291
 333             x.289
 334             y.290
 335             z.291
 336             x.289
 337             y.290
 338             z.291
 339             x.289
 340             y.290
 341             z.291
 342             x.289
 343             y.290
 344             z.291
 345             x.289
 346             y.290
 347             z.291
 348             x.289
 349             y.290
 350             z.291
 351             x.289
 352             y.290
 353             z.291
 354             x.289
 355             y.290
 356             z.291
 357             x.289
 358             y.290
 359             z.291
 360             x.289
 361             y.290
 362             z.291
 363             x.289
 364             y.290
 365             z.291
 366             x.289
 367             y.290
 368             z.291
 369             x.289
 370             y.290
 371             z.291
 372             x.289
 373             y.290
 374             z.291
 375             x.289
 376             y.290
 377             z.291
 378             x.289
 379             y.290
 380             z.291
 381             x.289
 382             y.290
 383             z.291
 384             x.289
 385             y.290
 386             z.291
 387             x.289
 388             y.290
 389             z.291
 390             x.289
 391             y.290
 392             z.291
 393             x.289
 394             y.290
 395             z.291
 396             x.289
 397             y.290
 398             z.291
 399             x.289
 400             y.290
 401             z.291
 402             x.289
 403             y.290
 404             z.291
 405             x.289
 406             y.290
 407             z.291
 408             x.289
 409             y.290
 410             z.291
 411             x.289
 412             y.290
 413             z.291
 414             x.289
 415             y.290
 416             z.291
 417             x.289
 418             y.290
 419             z.291
 420             x.289
 421             y.290
 422             z.291
 423             x.289
 424             y.290
 425             z.291
 426             x.289
 427             y.290
 428             z.291
 429             x.289
 430             y.290
 431             z.291
 432             x.289
 433             y.290
 434             z.291
 435             x.289
 436             y.290
 437             z.291
 438             x.289
 439             y.290
 440             z.291
 441             x.289
 442             y.290
 443             z.291
 444             x.289
 445             y.290
 446             z.291
 447             x.289
 448             y.290
 449             z.291
 450             x.289
 451             y.290
 452             z.291
 453             x.289
 454             y.290
 455             z.291
 456             x.289
 457             y.290
 458             z.291
 459             x.289
 460             y.290
 461             z.291
 462             x.289
 463             y.290
 464             z.291
 465             x.289
 466             y.290
 467             z.291
 468             x.289
 469             y.290
 470             z.291
 471             x.289
 472             y.290
 473             z.291
 474 Tests.fa :: for all d. [d] -> d
 475 Tests.fa =
 476     /\ t218 -> \ ds.320 ->
 477         let
 478           fail.321 =
 479               (error t218)
 480                   "\"ds018.hs\", line 39: pattern-matching failure [function binding]\n"S
 481         in
 482           case ds.320 of {
 483             (:) a.322 ds.323 ->
 484                 case ds.323 of {
 485                   (:) b.324 ds.325 ->
 486                       case ds.325 of {
 487                         (:) c.326 ds.327 ->
 488                             case ds.327 of {
 489                               (:) d.328 ds.329 ->
 490                                   case ds.329 of {
 491                                     (:) e.330 ds.331 ->
 492                                         case ds.331 of {
 493                                           (:) f.332 ds.333 ->
 494                                               case ds.333 of {
 495                                                 (:) g.334 ds.335 ->
 496                                                     case ds.335 of {
 497                                                       (:) h.336 ds.337 ->
 498                                                           case ds.337 of {
 499                                                             (:) i.338 ds.339 ->
 500                                                                 case ds.339 of {
 501                                                                   (:) j.340
 502                                                                       ds.341 ->
 503                                                                       case
 504                                                                           ds.341
 505                                                                       of {
 506                                                                         (:) k.342
 507                                                                             ds.343 ->
 508                                                                             case
 509                                                                                 ds.343
 510                                                                             of {
 511                                                                               (:) l.344
 512                                                                                   ds.345 ->
 513                                                                                   case
 514                                                                                       ds.345
 515                                                                                   of {
 516                                                                                     (:) m.346
 517                                                                                         ds.347 ->
 518                                                                                         case
 519                                                                                             ds.347
 520                                                                                         of {
 521                                                                                           (:) n.348
 522                                                                                               ds.349 ->
 523                                                                                               case
 524                                                                                                   ds.349
 525                                                                                               of {
 526                                                                                                 (:) o.350
 527                                                                                                     ds.351 ->
 528                                                                                                     case
 529                                                                                                         ds.351
 530                                                                                                     of {
 531                                                                                                       (:) p.352
 532                                                                                                           ds.353 ->
 533                                                                                                           case
 534                                                                                                               ds.353
 535                                                                                                           of {
 536                                                                                                             (:) q.354
 537                                                                                                                 ds.355 ->
 538                                                                                                                 case
 539                                                                                                                     ds.355
 540                                                                                                                 of {
 541                                                                                                                   (:) r.356
 542                                                                                                                       ds.357 ->
 543                                                                                                                       case
 544                                                                                                                           ds.357
 545                                                                                                                       of {
 546                                                                                                                         (:) s.358
 547                                                                                                                             ds.359 ->
 548                                                                                                                             case
 549                                                                                                                                 ds.359
 550                                                                                                                             of {
 551                                                                                                                               (:) t.360
 552                                                                                                                                   ds.361 ->
 553                                                                                                                                   case
 554                                                                                                                                       ds.361
 555                                                                                                                                   of {
 556                                                                                                                                     (:) u.362
 557                                                                                                                                         ds.363 ->
 558                                                                                                                                         case
 559                                                                                                                                             ds.363
 560                                                                                                                                         of {
 561                                                                                                                                           (:) v.364
 562                                                                                                                                               ds.365 ->
 563                                                                                                                                               case
 564                                                                                                                                                   ds.365
 565                                                                                                                                               of {
 566                                                                                                                                                 (:) w.366
 567                                                                                                                                                     ds.367 ->
 568                                                                                                                                                     case
 569                                                                                                                                                         ds.367
 570                                                                                                                                                     of {
 571                                                                                                                                                       (:) x.368
 572                                                                                                                                                           ds.369 ->
 573                                                                                                                                                           case
 574                                                                                                                                                               ds.369
 575                                                                                                                                                           of {
 576                                                                                                                                                             (:) y.370
 577                                                                                                                                                                 ds.371 ->
 578                                                                                                                                                                 case
 579                                                                                                                                                                     ds.371
 580                                                                                                                                                                 of {
 581                                                                                                                                                                   (:) z.372
 582                                                                                                                                                                       ds.373 ->
 583                                                                                                                                                                       case
 584                                                                                                                                                                           ds.373
 585                                                                                                                                                                       of {
 586                                                                                                                                                                         Nil ->
 587                                                                                                                                                                             x.368
 588                                                                                                                                                                         _ ->
 589                                                                                                                                                                             fail.321
 590                                                                                                                                                                       }
 591                                                                                                                                                                   _ ->
 592                                                                                                                                                                       fail.321
 593                                                                                                                                                                 }
 594                                                                                                                                                             _ ->
 595                                                                                                                                                                 fail.321
 596                                                                                                                                                           }
 597                                                                                                                                                       _ ->
 598                                                                                                                                                           fail.321
 599                                                                                                                                                     }
 600                                                                                                                                                 _ ->
 601                                                                                                                                                     fail.321
 602                                                                                                                                               }
 603                                                                                                                                           _ ->
 604                                                                                                                                               fail.321
 605                                                                                                                                         }
 606                                                                                                                                     _ ->
 607                                                                                                                                         fail.321
 608                                                                                                                                   }
 609                                                                                                                               _ ->
 610                                                                                                                                   fail.321
 611                                                                                                                             }
 612                                                                                                                         _ ->
 613                                                                                                                             fail.321
 614                                                                                                                       }
 615                                                                                                                   _ ->
 616                                                                                                                       fail.321
 617                                                                                                                 }
 618                                                                                                             _ ->
 619                                                                                                                 fail.321
 620                                                                                                           }
 621                                                                                                       _ ->
 622                                                                                                           fail.321
 623                                                                                                     }
 624                                                                                                 _ ->
 625                                                                                                     fail.321
 626                                                                                               }
 627                                                                                           _ ->
 628                                                                                               fail.321
 629                                                                                         }
 630                                                                                     _ ->
 631                                                                                         fail.321
 632                                                                                   }
 633                                                                               _ ->
 634                                                                                   fail.321
 635                                                                             }
 636                                                                         _ ->
 637                                                                             fail.321
 638                                                                       }
 639                                                                   _ ->  fail.321
 640                                                                 }
 641                                                             _ ->  fail.321
 642                                                           }
 643                                                       _ ->  fail.321
 644                                                     }
 645                                                 _ ->  fail.321
 646                                               }
 647                                           _ ->  fail.321
 648                                         }
 649                                     _ ->  fail.321
 650                                   }
 651                               _ ->  fail.321
 652                             }
 653                         _ ->  fail.321
 654                       }
 655                   _ ->  fail.321
 656                 }
 657             _ ->  fail.321
 658           }
 659 Tests.fb :: for all d, e. [d] -> [e]
 660 Tests.fb =
 661     /\ t221 t222 -> \ ds.376 ->
 662         let
 663           fail.377 =
 664               (error [t222])
 665                   "\"ds018.hs\", line 41: pattern-matching failure [function binding]\n"S
 666         in
 667           case ds.376 of {
 668             Nil -> Nil! t222
 669             _ ->  fail.377
 670           }
 671 Tests.ga ::
 672     for all d,
 673             e,
 674             f,
 675             g,
 676             h,
 677             i,
 678             j,
 679             k,
 680             l,
 681             m,
 682             n,
 683             o,
 684             p,
 685             q,
 686             r,
 687             s,
 688             t,
 689             u,
 690             v,
 691             w,
 692             x,
 693             y,
 694             z0,
 695             z1,
 696             z2,
 697             z3,
 698             z4,
 699             z5,
 700             z6,
 701             z7,
 702             z8,
 703             z9,
 704             z10,
 705             z11,
 706             z12,
 707             z13,
 708             z14,
 709             z15,
 710             z16,
 711             z17,
 712             z18,
 713             z19,
 714             z20,
 715             z21,
 716             z22,
 717             z23,
 718             z24,
 719             z25,
 720             z26,
 721             z27,
 722             z28,
 723             z29.
 724         (d,
 725          e,
 726          f,
 727          g,
 728          h,
 729          i,
 730          j,
 731          k,
 732          l,
 733          m,
 734          n,
 735          o,
 736          p,
 737          q,
 738          r,
 739          s,
 740          t,
 741          u,
 742          v,
 743          w,
 744          x,
 745          y,
 746          z0,
 747          z29,
 748          z1,
 749          z2,
 750          z3,
 751          z4,
 752          z5,
 753          z6,
 754          z7,
 755          z8,
 756          z9,
 757          z10,
 758          z11,
 759          z12,
 760          z13,
 761          z14,
 762          z15,
 763          z16,
 764          z17,
 765          z18,
 766          z19,
 767          z20,
 768          z21,
 769          z22,
 770          z23,
 771          z24,
 772          z25,
 773          z26,
 774          z27,
 775          z28)
 776         -> z29
 777 Tests.ga =
 778     /\ o225
 779        o226
 780        o227
 781        o228
 782        o229
 783        o230
 784        o231
 785        o232
 786        o233
 787        o234
 788        o235
 789        o236
 790        o237
 791        o238
 792        o239
 793        o240
 794        o241
 795        o242
 796        o243
 797        o244
 798        o245
 799        o246
 800        o247
 801        o249
 802        o250
 803        o251
 804        o252
 805        o253
 806        o254
 807        o255
 808        o256
 809        o257
 810        o258
 811        o259
 812        o260
 813        o261
 814        o262
 815        o263
 816        o264
 817        o265
 818        o266
 819        o267
 820        o268
 821        o269
 822        o270
 823        o271
 824        o272
 825        o273
 826        o274
 827        o275
 828        o276
 829        o248 -> \ ds.380 ->
 830         let
 831           fail.381 =
 832               (error o248)
 833                   "\"ds018.hs\", line 45: pattern-matching failure [function binding]\n"S
 834         in
 835           case ds.380 of {
 836             MkTuple52 a.382
 837                       b.383
 838                       c.384
 839                       d.385
 840                       e.386
 841                       f.387
 842                       g.388
 843                       h.389
 844                       i.390
 845                       j.391
 846                       k.392
 847                       l.393
 848                       m.394
 849                       n.395
 850                       o.396
 851                       p.397
 852                       q.398
 853                       r.399
 854                       s.400
 855                       t.401
 856                       u.402
 857                       v.403
 858                       w.404
 859                       x.405
 860                       y.406
 861                       z.407
 862                       aa.408
 863                       ab.409
 864                       ac.410
 865                       ad.411
 866                       ae.412
 867                       af.413
 868                       ag.414
 869                       ah.415
 870                       ai.416
 871                       aj.417
 872                       ak.418
 873                       al.419
 874                       am.420
 875                       an.421
 876                       ao.422
 877                       ap.423
 878                       aq.424
 879                       ar.425
 880                       as.426
 881                       at.427
 882                       au.428
 883                       av.429
 884                       aw.430
 885                       ax.431
 886                       ay.432
 887                       az.433 -> x.405
 888           }
 889 Tests.gb :: for all d. () -> d -> d
 890 Tests.gb =
 891     /\ o279 -> \ ds.436 x.437 ->
 892         let
 893           fail.438 =
 894               (error o279)
 895                   "\"ds018.hs\", line 47: pattern-matching failure [function binding]\n"S
 896         in
 897           case ds.436 of {
 898             MkTuple0 -> x.437
 899           }
 900 Tests.gb2 :: () -> ()
 901 Tests.gb2 =
 902     \ ds.441 ->
 903         let
 904           fail.442 =
 905               (error ())
 906                   "\"ds018.hs\", line 48: pattern-matching failure [function binding]\n"S
 907         in
 908           case ds.441 of {
 909             MkTuple0 -> MkTuple0
 910           }
 911