ghc/compiler/tests/deSugar/ds036.stderr

   1 ds036.hs:44:
   2     Warning: Possibly incomplete patterns
   3         in the definition of function `kh'
   4 ds036.hs:22:
   5     Warning: Possibly incomplete patterns
   6         in the definition of function `brack''
   7
   8
   9 ================================================================================
  10 Desugared:
  11 Rec {
  12 d.Num_aZF  ::
  13     {PrelBase.Num{-2c,p-} PrelBase.Int{-3g,p-}}
  14 {-# L #-}
  15 d.Num_aZF =
  16     PrelBase.$d3{-rbz,p-}
  17 fromInt_a19P  ::
  18     PrelBase.Int{-3g,p-} -> PrelBase.Int{-3g,p-}
  19 {-# L #-}
  20 fromInt_a19P =
  21     PrelBase.fromInt{-8R,p-}
  22         _@_ PrelBase.Int{-3g,p-} d.Num_aZF
  23 lit_a1a1  ::
  24     PrelBase.Int{-3g,p-}
  25 {-# L #-}
  26 lit_a1a1 =
  27     let {
  28       ds_d1aS  ::
  29           PrelBase.Int{-3g,p-}
  30       {-# L #-}
  31       ds_d1aS =
  32           PrelBase.I#{-5b,p-}{i}
  33               0
  34     } in
  35       fromInt_a19P
  36           ds_d1aS
  37 d.Eq_aZI  ::
  38     {PrelBase.Eq{-23,p-} PrelBase.Int{-3g,p-}}
  39 {-# L #-}
  40 d.Eq_aZI =
  41     PrelBase.$d7{-rc5,p-}
  42 ==_a1a0  ::
  43     PrelBase.Int{-3g,p-}
  44     -> PrelBase.Int{-3g,p-}
  45     -> PrelBase.Bool{-34,p-}
  46 {-# L #-}
  47 ==_a1a0 =
  48     PrelBase.=={-8Y,p-}
  49         _@_ PrelBase.Int{-3g,p-} d.Eq_aZI
  50 fromInt_a19Z  ::
  51     PrelBase.Int{-3g,p-} -> PrelBase.Int{-3g,p-}
  52 {-# L #-}
  53 fromInt_a19Z =
  54     fromInt_a19P
  55 lit_a19Y  ::
  56     PrelBase.Int{-3g,p-}
  57 {-# L #-}
  58 lit_a19Y =
  59     let {
  60       ds_d1bg  ::
  61           PrelBase.Int{-3g,p-}
  62       {-# L #-}
  63       ds_d1bg =
  64           PrelBase.I#{-5b,p-}{i}
  65               1
  66     } in
  67       fromInt_a19Z
  68           ds_d1bg
  69 d.Ord_aZM  ::
  70     {PrelBase.Ord{-2d,p-} PrelBase.Int{-3g,p-}}
  71 {-# L #-}
  72 d.Ord_aZM =
  73     PrelBase.$d6{-rc4,p-}
  74 >=_a19X  ::
  75     PrelBase.Int{-3g,p-}
  76     -> PrelBase.Int{-3g,p-}
  77     -> PrelBase.Bool{-34,p-}
  78 {-# L #-}
  79 >=_a19X =
  80     PrelBase.>={-8Z,p-}
  81         _@_ PrelBase.Int{-3g,p-} d.Ord_aZM
  82 d.Num_aZP  ::
  83     {PrelBase.Num{-2c,p-} PrelBase.Int{-3g,p-}}
  84 {-# L #-}
  85 d.Num_aZP =
  86     d.Num_aZF
  87 -_a19W  ::
  88     PrelBase.Int{-3g,p-}
  89     -> PrelBase.Int{-3g,p-}
  90     -> PrelBase.Int{-3g,p-}
  91 {-# L #-}
  92 -_a19W =
  93     PrelBase.-{-817,p-}
  94         _@_ PrelBase.Int{-3g,p-} d.Num_aZP
  95 kh{-r3g,x-}  ::
  96     _forall_
  97     [t{-aYd-}]
  98     =>
  99     {PrelBase.Num{-2c,p-} t{-aYd-}}
 100     -> {PrelBase.Ord{-2d,p-} t{-aYd-}}
 101     -> t{-aYd-}
 102     -> t{-aYd-}
 103     -> t{-aYd-}
 104 {-# L #-}
 105 kh{-r3g,x-} =
 106     _/\_ t{-aYd-} -> \ d.Num_aYs  ::
 107                            {PrelBase.Num{-2c,p-} t{-aYd-}}
 108                        {-# L #-}
 109                        d.Num_aYs d.Ord_aYu  ::
 110                                      {PrelBase.Ord{-2d,p-} t{-aYd-}}
 111                                  {-# L #-}
 112                                  d.Ord_aYu ->
 113         let {
 114           fromInt_a1cx  ::
 115               PrelBase.Int{-3g,p-} -> t{-aYd-}
 116           {-# L #-}
 117           fromInt_a1cx =
 118               PrelBase.fromInt{-8R,p-}
 119                   _@_ t{-aYd-} d.Num_aYs } in
 120         let { lit_a1cw  ::
 121                   t{-aYd-}
 122               {-# L #-}
 123               lit_a1cw =
 124           let {
 125             ds_d1cN  ::
 126                 PrelBase.Int{-3g,p-}
 127             {-# L #-}
 128             ds_d1cN =
 129                 PrelBase.I#{-5b,p-}{i}
 130                     2
 131           } in
 132             fromInt_a1cx
 133                 ds_d1cN
 134         } in
 135         let {
 136           >=_a1cv  ::
 137               t{-aYd-} -> t{-aYd-} -> PrelBase.Bool{-34,p-}
 138           {-# L #-}
 139           >=_a1cv =
 140               PrelBase.>={-8Z,p-}
 141                   _@_ t{-aYd-} d.Ord_aYu } in
 142         let {
 143           d.Num_aYw  ::
 144               {PrelBase.Num{-2c,p-} t{-aYd-}}
 145           {-# L #-}
 146           d.Num_aYw =
 147               d.Num_aYs } in
 148         let {
 149           -_a1cu  ::
 150               t{-aYd-} -> t{-aYd-} -> t{-aYd-}
 151           {-# L #-}
 152           -_a1cu =
 153               PrelBase.-{-817,p-}
 154                   _@_ t{-aYd-} d.Num_aYw } in
 155         let {
 156           d.Ord_aYy  ::
 157               {PrelBase.Ord{-2d,p-} t{-aYd-}}
 158           {-# L #-}
 159           d.Ord_aYy =
 160               d.Ord_aYu } in
 161         let {
 162           >_a1ct  ::
 163               t{-aYd-} -> t{-aYd-} -> PrelBase.Bool{-34,p-}
 164           {-# L #-}
 165           >_a1ct =
 166               PrelBase.>{-rdf,p-}
 167                   _@_ t{-aYd-} d.Ord_aYy } in
 168         let {
 169           d.Num_aYA  ::
 170               {PrelBase.Num{-2c,p-} t{-aYd-}}
 171           {-# L #-}
 172           d.Num_aYA =
 173               d.Num_aYs } in
 174         let {
 175           *_a1cs  ::
 176               t{-aYd-} -> t{-aYd-} -> t{-aYd-}
 177           {-# L #-}
 178           *_a1cs =
 179               PrelBase.*{-rd8,p-}
 180                   _@_ t{-aYd-} d.Num_aYA } in
 181         let {
 182           lit_a1cr  ::
 183               t{-aYd-}
 184           {-# L #-}
 185           lit_a1cr =
 186               lit_a1cw } in
 187         let {
 188           fromInt_a1cq  ::
 189               PrelBase.Int{-3g,p-} -> t{-aYd-}
 190           {-# L #-}
 191           fromInt_a1cq =
 192               fromInt_a1cx } in
 193         let { lit_a1cp  ::
 194                   t{-aYd-}
 195               {-# L #-}
 196               lit_a1cp =
 197           let {
 198             ds_d1dC  ::
 199                 PrelBase.Int{-3g,p-}
 200             {-# L #-}
 201             ds_d1dC =
 202                 PrelBase.I#{-5b,p-}{i}
 203                     1
 204           } in
 205             fromInt_a1cq
 206                 ds_d1dC
 207         } in
 208         let {
 209           >=_a1co  ::
 210               t{-aYd-} -> t{-aYd-} -> PrelBase.Bool{-34,p-}
 211           {-# L #-}
 212           >=_a1co =
 213               >=_a1cv } in
 214         let {
 215           -_a1cn  ::
 216               t{-aYd-} -> t{-aYd-} -> t{-aYd-}
 217           {-# L #-}
 218           -_a1cn =
 219               -_a1cu } in
 220         let {
 221           lit_a1cm  ::
 222               t{-aYd-}
 223           {-# L #-}
 224           lit_a1cm =
 225               lit_a1cp } in
 226         let {
 227           >=_a1cl  ::
 228               t{-aYd-} -> t{-aYd-} -> PrelBase.Bool{-34,p-}
 229           {-# L #-}
 230           >=_a1cl =
 231               >=_a1cv } in
 232         let {
 233           -_a1ck  ::
 234               t{-aYd-} -> t{-aYd-} -> t{-aYd-}
 235           {-# L #-}
 236           -_a1ck =
 237               -_a1cu
 238         } in
 239           \ ds_d1e9  ::
 240                 t{-aYd-}
 241             {-# L #-}
 242             ds_d1e9 x_r3H  ::
 243                         t{-aYd-}
 244                     {-# L #-}
 245                     x_r3H ->
 246               let {
 247                 fail_d1em  ::
 248                     t{-aYd-}
 249                 {-# L #-}
 250                 fail_d1em =
 251                     GHCerr.patError{-8r,p-}
 252                         _@_ t{-aYd-} _string_ "ds036.hs:44|function `kh'" } in
 253               let {
 254                 fail_d1fO  ::
 255                     t{-aYd-}
 256                 {-# L #-}
 257                 fail_d1fO =
 258                     case
 259                         (\ ds_d1eg  ::
 260                                t{-aYd-}
 261                            {-# L #-}
 262                            ds_d1eg ->
 263                              >=_a1co
 264                                  ds_d1eg lit_a1cp)
 265                             ds_d1e9
 266                     of {
 267                       PrelBase.True{-5E,p-}{i} ->
 268                           let {
 269                             x_r3J  ::
 270                                 t{-aYd-}
 271                             {-# L #-}
 272                             x_r3J =
 273                                 (\ ds_d1eG  ::
 274                                        t{-aYd-}
 275                                    {-# L #-}
 276                                    ds_d1eG ->
 277                                      -_a1cn
 278                                          ds_d1eG lit_a1cp)
 279                                     ds_d1e9
 280                           } in
 281                             case
 282                                 (\ ds_d1eW  ::
 283                                        t{-aYd-}
 284                                    {-# L #-}
 285                                    ds_d1eW ->
 286                                      >=_a1cl
 287                                          ds_d1eW lit_a1cm)
 288                                     x_r3H
 289                             of {
 290                               PrelBase.True{-5E,p-}{i} ->
 291                                   (\ ds_d1fk  ::
 292                                          t{-aYd-}
 293                                      {-# L #-}
 294                                      ds_d1fk ->
 295                                        -_a1ck
 296                                            ds_d1fk lit_a1cm)
 297                                       x_r3H;
 298                               PrelBase.False{-58,p-}{i} ->
 299                                   fail_d1em;
 300                             };
 301                       PrelBase.False{-58,p-}{i} ->
 302                           fail_d1em;
 303                     }
 304               } in
 305                 case
 306                     (\ ds_d1fI  ::
 307                            t{-aYd-}
 308                        {-# L #-}
 309                        ds_d1fI ->
 310                          >=_a1cv
 311                              ds_d1fI lit_a1cw)
 312                         ds_d1e9
 313                 of {
 314                   PrelBase.True{-5E,p-}{i} ->
 315                       let {
 316                         n_r3F  ::
 317                             t{-aYd-}
 318                         {-# L #-}
 319                         n_r3F =
 320                             (\ ds_d1g8  ::
 321                                    t{-aYd-}
 322                                {-# L #-}
 323                                ds_d1g8 ->
 324                                  -_a1cu
 325                                      ds_d1g8 lit_a1cw)
 326                                 ds_d1e9
 327                       } in
 328                         case
 329                             >_a1ct
 330                                 x_r3H n_r3F
 331                         of {
 332                           PrelBase.True{-5E,p-}{i} ->
 333                               *_a1cs
 334                                   x_r3H lit_a1cr;
 335                           PrelBase.False{-58,p-}{i} ->
 336                               fail_d1fO;
 337                         };
 338                   PrelBase.False{-58,p-}{i} ->
 339                       fail_d1fO;
 340                 }
 341 brack'{-r3f,x-}  ::
 342     _forall_
 343     [a{-aYI-}]
 344     =>
 345     {PrelBase.Eq{-23,p-} a{-aYI-}}
 346     -> a{-aYI-}
 347     -> a{-aYI-}
 348     -> PrelBase.Int{-3g,p-}
 349     -> [a{-aYI-}]
 350     -> ([a{-aYI-}], [a{-aYI-}])
 351 {-# L #-}
 352 brack'{-r3f,x-} =
 353     _/\_ a{-aYI-} -> \ d.Eq_aZs  ::
 354                            {PrelBase.Eq{-23,p-} a{-aYI-}}
 355                        {-# L #-}
 356                        d.Eq_aZs ->
 357         let {
 358           lit_a1h1  ::
 359               PrelBase.Int{-3g,p-}
 360           {-# L #-}
 361           lit_a1h1 =
 362               lit_a19Y } in
 363         let {
 364           >=_a1h0  ::
 365               PrelBase.Int{-3g,p-}
 366               -> PrelBase.Int{-3g,p-}
 367               -> PrelBase.Bool{-34,p-}
 368           {-# L #-}
 369           >=_a1h0 =
 370               >=_a19X } in
 371         let {
 372           -_a1gZ  ::
 373               PrelBase.Int{-3g,p-}
 374               -> PrelBase.Int{-3g,p-}
 375               -> PrelBase.Int{-3g,p-}
 376           {-# L #-}
 377           -_a1gZ =
 378               -_a19W } in
 379         let {
 380           d.Eq_aZC  ::
 381               {PrelBase.Eq{-23,p-} a{-aYI-}}
 382           {-# L #-}
 383           d.Eq_aZC =
 384               d.Eq_aZs } in
 385         let {
 386           ==_a1gY  ::
 387               a{-aYI-} -> a{-aYI-} -> PrelBase.Bool{-34,p-}
 388           {-# L #-}
 389           ==_a1gY =
 390               PrelBase.=={-8Y,p-}
 391                   _@_ a{-aYI-} d.Eq_aZC
 392         } in
 393           \ open_r3i  ::
 394                 a{-aYI-}
 395             {-# L #-}
 396             open_r3i close_r3k  ::
 397                          a{-aYI-}
 398                      {-# L #-}
 399                      close_r3k ds_d1hB  ::
 400                                    PrelBase.Int{-3g,p-}
 401                                {-# L #-}
 402                                ds_d1hB xs_r3n  ::
 403                                            [a{-aYI-}]
 404                                        {-# L #-}
 405                                        xs_r3n ->
 406               let {
 407                 fail_d1hO  ::
 408                     ([a{-aYI-}], [a{-aYI-}])
 409                 {-# L #-}
 410                 fail_d1hO =
 411                     GHCerr.patError{-8r,p-}
 412                         _@_ ([a{-aYI-}], [a{-aYI-}])
 413                         _string_ "ds036.hs:22|function `brack''" } in
 414               let {
 415                 fail_d1jT  ::
 416                     ([a{-aYI-}], [a{-aYI-}])
 417                 {-# L #-}
 418                 fail_d1jT =
 419                     case
 420                         (\ ds_d1hI  ::
 421                                PrelBase.Int{-3g,p-}
 422                            {-# L #-}
 423                            ds_d1hI ->
 424                              >=_a19X
 425                                  ds_d1hI lit_a19Y)
 426                             ds_d1hB
 427                     of {
 428                       PrelBase.True{-5E,p-}{i} ->
 429                           let {
 430                             n_r3t  ::
 431                                 PrelBase.Int{-3g,p-}
 432                             {-# L #-}
 433                             n_r3t =
 434                                 (\ ds_d1i8  ::
 435                                        PrelBase.Int{-3g,p-}
 436                                    {-# L #-}
 437                                    ds_d1i8 ->
 438                                      -_a19W
 439                                          ds_d1i8 lit_a19Y)
 440                                     ds_d1hB
 441                           } in
 442                             case xs_r3n of {
 443                               PrelBase.[]{-5i,p-}{i} ->
 444                                   let {
 445                                     close_r3r  ::
 446                                         a{-aYI-}
 447                                     {-# L #-}
 448                                     close_r3r =
 449                                         close_r3k } in
 450                                   let {
 451                                     open_r3p  ::
 452                                         a{-aYI-}
 453                                     {-# L #-}
 454                                     open_r3p =
 455                                         open_r3i } in
 456                                   let {
 457                                     ds_d1iz  ::
 458                                         [a{-aYI-}]
 459                                     {-# L #-}
 460                                     ds_d1iz =
 461                                         PrelBase.[]{-5i,p-}{i}
 462                                             _@_ a{-aYI-} } in
 463                                   let {
 464                                     ds_d1iD  ::
 465                                         [a{-aYI-}]
 466                                     {-# L #-}
 467                                     ds_d1iD =
 468                                         PrelBase.[]{-5i,p-}{i}
 469                                             _@_ a{-aYI-}
 470                                   } in
 471                                     PrelTup.(,){-62,p-}{i}
 472                                         {_@_ [a{-aYI-}] _@_ [a{-aYI-}] ds_d1iz ds_d1iD};
 473                               PrelBase.:{-55,p-}{i} h_r3C t_r3D ->
 474                                   let {
 475                                     n_r3A  ::
 476                                         PrelBase.Int{-3g,p-}
 477                                     {-# L #-}
 478                                     n_r3A =
 479                                         n_r3t } in
 480                                   let {
 481                                     close_r3y  ::
 482                                         a{-aYI-}
 483                                     {-# L #-}
 484                                     close_r3y =
 485                                         close_r3k } in
 486                                   let {
 487                                     open_r3w  ::
 488                                         a{-aYI-}
 489                                     {-# L #-}
 490                                     open_r3w =
 491                                         open_r3i
 492                                   } in
 493                                     case
 494                                         ==_a1gY
 495                                             h_r3C open_r3w
 496                                     of {
 497                                       PrelBase.True{-5E,p-}{i} ->
 498                                           let {
 499                                             ds_d1ju  ::
 500                                                 [a{-aYI-}]
 501                                             {-# L #-}
 502                                             ds_d1ju =
 503                                                 PrelBase.[]{-5i,p-}{i}
 504                                                     _@_ a{-aYI-} } in
 505                                           let {
 506                                             ds_d1jy  ::
 507                                                 [a{-aYI-}]
 508                                             {-# L #-}
 509                                             ds_d1jy =
 510                                                 PrelBase.[]{-5i,p-}{i}
 511                                                     _@_ a{-aYI-}
 512                                           } in
 513                                             PrelTup.(,){-62,p-}{i}
 514                                                 {_@_ [a{-aYI-}] _@_ [a{-aYI-}] ds_d1ju ds_d1jy};
 515                                       PrelBase.False{-58,p-}{i} ->
 516                                           fail_d1hO;
 517                                     };
 518                             };
 519                       PrelBase.False{-58,p-}{i} ->
 520                           fail_d1hO;
 521                     }
 522               } in
 523                 case ds_d1hB of { PrelBase.I#{-5b,p-}{i} ds_d1k2  ->
 524                 case# ds_d1k2 of {
 525                   0 ->
 526                       let {
 527                         ds_d1kh  ::
 528                             [a{-aYI-}]
 529                         {-# L #-}
 530                         ds_d1kh =
 531                             PrelBase.[]{-5i,p-}{i}
 532                                 _@_ a{-aYI-}
 533                       } in
 534                         PrelTup.(,){-62,p-}{i}
 535                             {_@_ [a{-aYI-}] _@_ [a{-aYI-}] ds_d1kh xs_r3n};
 536                   ds_d1kt ->
 537                       fail_d1jT;
 538                 };}
 539 end Rec }