ghc/tests/deSugar/should_compile/ds022.stderr

   1 ds022.hs:5:
   2     Warning: Possibly incomplete patterns
   3         in the definition of function `f'
   4 ds022.hs:10:
   5     Warning: Possibly incomplete patterns
   6         in the definition of function `g'
   7 ds022.hs:15:
   8     Warning: Possibly incomplete patterns
   9         in the definition of function `h'
  10 ds022.hs:22:
  11     Warning: Pattern match(es) completely overlapped
  12         in the definition of function `i'
  13 ds022.hs:23:
  14     Warning: Pattern match(es) completely overlapped
  15         in the definition of function `i'
  16 ds022.hs:20:
  17     Warning: Possibly incomplete patterns
  18         in the definition of function `i'
  19
  20
  21 ================================================================================
  22 Desugared:
  23 Rec {
  24 i{-r3s,x-}  ::  _forall_
  25                 [taUw taUD taVd]
  26                 =>
  27                 {PrelNum.Fractional{-26,p-} taUD}
  28                 -> {PrelBase.Num{-2c,p-} taUw}
  29                 -> taUw
  30                 -> taUD
  31                 -> [taVd]
  32 {-# L #-}
  33 i{-r3s,x-} =
  34     _/\_ taUw taUD taVd -> \ d.Fractional_aVl  ::  {PrelNum.Fractional{-26,p-} taUD}
  35                              {-# L #-}
  36                              d.Fractional_aVl d.Num_aVg  ::  {PrelBase.Num{-2c,p-} taUw}
  37                                               {-# L #-}
  38                                               d.Num_aVg ->
  39         _letrec_ {
  40           d.Eq_aVi  ::  {PrelBase.Eq{-23,p-} taUw}
  41           {-# L #-}
  42           d.Eq_aVi =
  43               PrelBase.scsel_NumPrelBaseEq{-a1ls,p-} _@_ taUw d.Num_aVg;
  44           d.Num_aY9  ::  {PrelBase.Num{-2c,p-} taUD}
  45           {-# L #-}
  46           d.Num_aY9 =
  47               PrelNum.scsel_FractionalPrelBaseNum{-a1nt,p-}
  48                   _@_ taUD d.Fractional_aVl;
  49           d.Eq_aVn  ::  {PrelBase.Eq{-23,p-} taUD}
  50           {-# L #-}
  51           d.Eq_aVn =
  52               PrelBase.scsel_NumPrelBaseEq{-a1ls,p-} _@_ taUD d.Num_aY9;
  53           fromInt_a1l6  ::  PrelBase.Int{-3g,W-} -> taUw
  54           {-# L #-}
  55           fromInt_a1l6 =
  56               PrelBase.fromInt{-8R,p-} _@_ taUw d.Num_aVg;
  57           lit_a1l7  ::  taUw
  58           {-# L #-}
  59           lit_a1l7 =
  60               let {
  61                 ds_d1nQ  ::  PrelBase.Int{-3g,W-}
  62                 {-# L #-}
  63                 ds_d1nQ =
  64                     PrelBase.I#{-5b,w-}{i} 1
  65               } in  fromInt_a1l6 ds_d1nQ;
  66           ==_a1l8  ::  taUw -> taUw -> PrelBase.Bool{-34,W-}
  67           {-# L #-}
  68           ==_a1l8 =
  69               PrelBase.=={-8Y,p-} _@_ taUw d.Eq_aVi;
  70           fromRational_a1l9  ::  PrelNum.Rational{-3r,p-} -> taUD
  71           {-# L #-}
  72           fromRational_a1l9 =
  73               PrelNum.fromRational{-8T,p-} _@_ taUD d.Fractional_aVl;
  74           lit_a1la  ::  taUD
  75           {-# L #-}
  76           lit_a1la =
  77               fromRational_a1l9 _rational_  11 10;
  78           ==_a1lb  ::  taUD -> taUD -> PrelBase.Bool{-34,W-}
  79           {-# L #-}
  80           ==_a1lb =
  81               PrelBase.=={-8Y,p-} _@_ taUD d.Eq_aVn;
  82           fromInt_a1lc  ::  PrelBase.Int{-3g,W-} -> taUw
  83           {-# L #-}
  84           fromInt_a1lc =
  85               fromInt_a1l6;
  86           lit_a1ld  ::  taUw
  87           {-# L #-}
  88           lit_a1ld =
  89               let {
  90                 ds_d1oy  ::  PrelBase.Int{-3g,W-}
  91                 {-# L #-}
  92                 ds_d1oy =
  93                     PrelBase.I#{-5b,w-}{i} 2
  94               } in  fromInt_a1lc ds_d1oy;
  95           ==_a1le  ::  taUw -> taUw -> PrelBase.Bool{-34,W-}
  96           {-# L #-}
  97           ==_a1le =
  98               ==_a1l8;
  99           fromRational_a1lf  ::  PrelNum.Rational{-3r,p-} -> taUD
 100           {-# L #-}
 101           fromRational_a1lf =
 102               fromRational_a1l9;
 103           lit_a1lg  ::  taUD
 104           {-# L #-}
 105           lit_a1lg =
 106               fromRational_a1lf _rational_  11 5;
 107           ==_a1lh  ::  taUD -> taUD -> PrelBase.Bool{-34,W-}
 108           {-# L #-}
 109           ==_a1lh =
 110               ==_a1lb;
 111           lit_a1li  ::  taUw
 112           {-# L #-}
 113           lit_a1li =
 114               lit_a1l7;
 115           ==_a1lj  ::  taUw -> taUw -> PrelBase.Bool{-34,W-}
 116           {-# L #-}
 117           ==_a1lj =
 118               ==_a1l8;
 119           lit_a1lk  ::  taUD
 120           {-# L #-}
 121           lit_a1lk =
 122               lit_a1la;
 123           ==_a1ll  ::  taUD -> taUD -> PrelBase.Bool{-34,W-}
 124           {-# L #-}
 125           ==_a1ll =
 126               ==_a1lb;
 127           lit_a1lm  ::  taUw
 128           {-# L #-}
 129           lit_a1lm =
 130               lit_a1ld;
 131           ==_a1ln  ::  taUw -> taUw -> PrelBase.Bool{-34,W-}
 132           {-# L #-}
 133           ==_a1ln =
 134               ==_a1l8;
 135           lit_a1lo  ::  taUD
 136           {-# L #-}
 137           lit_a1lo =
 138               lit_a1lg;
 139           ==_a1lp  ::  taUD -> taUD -> PrelBase.Bool{-34,W-}
 140           {-# L #-}
 141           ==_a1lp =
 142               ==_a1lb;
 143           i_aUr  ::  taUw -> taUD -> [taVd]
 144           {-# L #-}
 145           i_aUr =
 146               \ ds_d1pk  ::  taUw
 147                 {-# L #-}
 148                 ds_d1pk ds_d1pn  ::  taUD
 149                         {-# L #-}
 150                         ds_d1pn ->
 151                   let {
 152                     fail_d1po  ::  [taVd]
 153                     {-# L #-}
 154                     fail_d1po =
 155                         GHCerr.patError{-8r,w-}
 156                             _@_ [taVd] _string_ "ds022.hs:20|function `i'" } in
 157                   let {
 158                     fail_d1q6  ::  [taVd]
 159                     {-# L #-}
 160                     fail_d1q6 =
 161                         case ==_a1le lit_a1ld ds_d1pk of {
 162                           PrelBase.True{-5E,w-}{i} ->
 163                               case ==_a1lh lit_a1lg ds_d1pn of {
 164                                 PrelBase.True{-5E,w-}{i} -> PrelBase.[]{-5i,w-}{i} _@_ taVd;
 165                                 PrelBase.False{-58,w-}{i} -> fail_d1po;
 166                               };
 167                           PrelBase.False{-58,w-}{i} -> fail_d1po;
 168                         }
 169                   } in
 170                     case ==_a1l8 lit_a1l7 ds_d1pk of {
 171                       PrelBase.True{-5E,w-}{i} ->
 172                           case ==_a1lb lit_a1la ds_d1pn of {
 173                             PrelBase.True{-5E,w-}{i} -> PrelBase.[]{-5i,w-}{i} _@_ taVd;
 174                             PrelBase.False{-58,w-}{i} -> fail_d1q6;
 175                           };
 176                       PrelBase.False{-58,w-}{i} -> fail_d1q6;
 177                     };
 178         } in  i_aUr
 179 h{-r3t,x-}  ::  _forall_
 180                 [taVQ]
 181                 =>
 182                 PrelBase.Char{-38,W-} -> [PrelBase.Char{-38,W-}] -> [taVQ]
 183 {-# L #-}
 184 h{-r3t,x-} =
 185     _/\_ taVQ ->
 186         _letrec_ {
 187           ==_a1qR  ::  [PrelBase.Char{-38,W-}]
 188                        -> [PrelBase.Char{-38,W-}]
 189                        -> PrelBase.Bool{-34,W-}
 190           {-# L #-}
 191           ==_a1qR =
 192               ==_a1l5;
 193           h_aVt  ::  PrelBase.Char{-38,W-}
 194                      -> [PrelBase.Char{-38,W-}]
 195                      -> [taVQ]
 196           {-# L #-}
 197           h_aVt =
 198               \ ds_d1rb  ::  PrelBase.Char{-38,W-}
 199                 {-# L #-}
 200                 ds_d1rb ds_d1rc  ::  [PrelBase.Char{-38,W-}]
 201                         {-# L #-}
 202                         ds_d1rc ->
 203                   let {
 204                     fail_d1rd  ::  [taVQ]
 205                     {-# L #-}
 206                     fail_d1rd =
 207                         GHCerr.patError{-8r,w-}
 208                             _@_ [taVQ] _string_ "ds022.hs:15|function `h'"
 209                   } in
 210                     case ds_d1rb of { PrelBase.C#{-54,w-}{i} ds_d1rm  ->
 211                     case# ds_d1rm of {
 212                       'a' ->
 213                           case ds_d1rc of {
 214                             PrelBase.:{-55,w-}{i} ds_d1rB ds_d1rC -> fail_d1rd;
 215                             PrelBase.[]{-5i,w-}{i} -> PrelBase.[]{-5i,w-}{i} _@_ taVQ;
 216                           };
 217                       ''' ->
 218                           case ==_a1qR _string_ "foo" ds_d1rc of {
 219                             PrelBase.True{-5E,w-}{i} -> PrelBase.[]{-5i,w-}{i} _@_ taVQ;
 220                             PrelBase.False{-58,w-}{i} -> fail_d1rd;
 221                           };
 222                       '"' ->
 223                           case ds_d1rc of {
 224                             PrelBase.[]{-5i,w-}{i} -> fail_d1rd;
 225                             PrelBase.:{-55,w-}{i} ds_d1su ds_d1sv ->
 226                                 case ds_d1su of { PrelBase.C#{-54,w-}{i} ds_d1sE  ->
 227                                 case# ds_d1sE of {
 228                                   'b' ->
 229                                       case ds_d1sv of {
 230                                         PrelBase.[]{-5i,w-}{i} -> fail_d1rd;
 231                                         PrelBase.:{-55,w-}{i} ds_d1sZ ds_d1t0 ->
 232                                             case ds_d1sZ of { PrelBase.C#{-54,w-}{i} ds_d1t9  ->
 233                                             case# ds_d1t9 of {
 234                                               'a' ->
 235                                                   case ds_d1t0 of {
 236                                                     PrelBase.[]{-5i,w-}{i} -> fail_d1rd;
 237                                                     PrelBase.:{-55,w-}{i} ds_d1tu ds_d1tv ->
 238                                                         case
 239                                                             ds_d1tu
 240                                                         of {
 241                                                         PrelBase.C#{-54,w-}{i} ds_d1tE  ->
 242                                                         case# ds_d1tE of {
 243                                                           'r' ->
 244                                                               case ds_d1tv of {
 245                                                                 PrelBase.:{-55,w-}{i} ds_d1tT ds_d1tU ->
 246                                                                     fail_d1rd;
 247                                                                 PrelBase.[]{-5i,w-}{i} ->
 248                                                                     PrelBase.[]{-5i,w-}{i} _@_ taVQ;
 249                                                               };
 250                                                           ds_d1u5 -> fail_d1rd;
 251                                                         };};
 252                                                   };
 253                                               ds_d1u8 -> fail_d1rd;
 254                                             };};
 255                                       };
 256                                   ds_d1ub -> fail_d1rd;
 257                                 };};
 258                           };
 259                       '¨' ->
 260                           let {
 261                             blob_r3r  ::  [PrelBase.Char{-38,W-}]
 262                             {-# L #-}
 263                             blob_r3r =
 264                                 ds_d1rc
 265                           } in  PrelBase.[]{-5i,w-}{i} _@_ taVQ;
 266                       ds_d1up -> fail_d1rd;
 267                     };};
 268         } in  h_aVt
 269 g{-r3u,x-}  ::  _forall_
 270                 [taVZ taW6 taWG]
 271                 =>
 272                 {PrelNum.Fractional{-26,p-} taW6}
 273                 -> {PrelBase.Num{-2c,p-} taVZ}
 274                 -> taVZ
 275                 -> taW6
 276                 -> [taWG]
 277 {-# L #-}
 278 g{-r3u,x-} =
 279     _/\_ taVZ taW6 taWG -> \ d.Fractional_aWO  ::  {PrelNum.Fractional{-26,p-} taW6}
 280                              {-# L #-}
 281                              d.Fractional_aWO d.Num_aWJ  ::  {PrelBase.Num{-2c,p-} taVZ}
 282                                               {-# L #-}
 283                                               d.Num_aWJ ->
 284         _letrec_ {
 285           d.Eq_aWL  ::  {PrelBase.Eq{-23,p-} taVZ}
 286           {-# L #-}
 287           d.Eq_aWL =
 288               PrelBase.scsel_NumPrelBaseEq{-a1ls,p-} _@_ taVZ d.Num_aWJ;
 289           d.Num_aYa  ::  {PrelBase.Num{-2c,p-} taW6}
 290           {-# L #-}
 291           d.Num_aYa =
 292               PrelNum.scsel_FractionalPrelBaseNum{-a1nt,p-}
 293                   _@_ taW6 d.Fractional_aWO;
 294           d.Eq_aWQ  ::  {PrelBase.Eq{-23,p-} taW6}
 295           {-# L #-}
 296           d.Eq_aWQ =
 297               PrelBase.scsel_NumPrelBaseEq{-a1ls,p-} _@_ taW6 d.Num_aYa;
 298           fromInteger_a1uM  ::  PrelBase.Integer{-3h,W-} -> taVZ
 299           {-# L #-}
 300           fromInteger_a1uM =
 301               PrelBase.fromInteger{-8S,p-} _@_ taVZ d.Num_aWJ;
 302           lit_a1uN  ::  taVZ
 303           {-# L #-}
 304           lit_a1uN =
 305               fromInteger_a1uM _integer_  11111111111111111111111;
 306           ==_a1uO  ::  taVZ -> taVZ -> PrelBase.Bool{-34,W-}
 307           {-# L #-}
 308           ==_a1uO =
 309               PrelBase.=={-8Y,p-} _@_ taVZ d.Eq_aWL;
 310           fromRational_a1uP  ::  PrelNum.Rational{-3r,p-} -> taW6
 311           {-# L #-}
 312           fromRational_a1uP =
 313               PrelNum.fromRational{-8T,p-} _@_ taW6 d.Fractional_aWO;
 314           lit_a1uQ  ::  taW6
 315           {-# L #-}
 316           lit_a1uQ =
 317               fromRational_a1uP
 318                   _rational_  111111111111111111 100000000000000000;
 319           ==_a1uR  ::  taW6 -> taW6 -> PrelBase.Bool{-34,W-}
 320           {-# L #-}
 321           ==_a1uR =
 322               PrelBase.=={-8Y,p-} _@_ taW6 d.Eq_aWQ;
 323           fromInteger_a1uS  ::  PrelBase.Integer{-3h,W-} -> taVZ
 324           {-# L #-}
 325           fromInteger_a1uS =
 326               fromInteger_a1uM;
 327           lit_a1uT  ::  taVZ
 328           {-# L #-}
 329           lit_a1uT =
 330               fromInteger_a1uS _integer_  22222222222222222222222;
 331           ==_a1uU  ::  taVZ -> taVZ -> PrelBase.Bool{-34,W-}
 332           {-# L #-}
 333           ==_a1uU =
 334               ==_a1uO;
 335           fromRational_a1uV  ::  PrelNum.Rational{-3r,p-} -> taW6
 336           {-# L #-}
 337           fromRational_a1uV =
 338               fromRational_a1uP;
 339           lit_a1uW  ::  taW6
 340           {-# L #-}
 341           lit_a1uW =
 342               fromRational_a1uV _rational_  111111111111111111 50000000000000000;
 343           ==_a1uX  ::  taW6 -> taW6 -> PrelBase.Bool{-34,W-}
 344           {-# L #-}
 345           ==_a1uX =
 346               ==_a1uR;
 347           fromInteger_a1uY  ::  PrelBase.Integer{-3h,W-} -> taVZ
 348           {-# L #-}
 349           fromInteger_a1uY =
 350               fromInteger_a1uM;
 351           lit_a1uZ  ::  taVZ
 352           {-# L #-}
 353           lit_a1uZ =
 354               fromInteger_a1uY _integer_  33333333333333333333333;
 355           ==_a1v0  ::  taVZ -> taVZ -> PrelBase.Bool{-34,W-}
 356           {-# L #-}
 357           ==_a1v0 =
 358               ==_a1uO;
 359           fromRational_a1v1  ::  PrelNum.Rational{-3r,p-} -> taW6
 360           {-# L #-}
 361           fromRational_a1v1 =
 362               fromRational_a1uP;
 363           lit_a1v2  ::  taW6
 364           {-# L #-}
 365           lit_a1v2 =
 366               fromRational_a1v1
 367                   _rational_  333333333333333333 100000000000000000;
 368           ==_a1v3  ::  taW6 -> taW6 -> PrelBase.Bool{-34,W-}
 369           {-# L #-}
 370           ==_a1v3 =
 371               ==_a1uR;
 372           fromInteger_a1v4  ::  PrelBase.Integer{-3h,W-} -> taVZ
 373           {-# L #-}
 374           fromInteger_a1v4 =
 375               fromInteger_a1uM;
 376           lit_a1v5  ::  taVZ
 377           {-# L #-}
 378           lit_a1v5 =
 379               fromInteger_a1v4 _integer_  44444444444444444444444;
 380           ==_a1v6  ::  taVZ -> taVZ -> PrelBase.Bool{-34,W-}
 381           {-# L #-}
 382           ==_a1v6 =
 383               ==_a1uO;
 384           fromRational_a1v7  ::  PrelNum.Rational{-3r,p-} -> taW6
 385           {-# L #-}
 386           fromRational_a1v7 =
 387               fromRational_a1uP;
 388           lit_a1v8  ::  taW6
 389           {-# L #-}
 390           lit_a1v8 =
 391               fromRational_a1v7 _rational_  111111111111111111 25000000000000000;
 392           ==_a1v9  ::  taW6 -> taW6 -> PrelBase.Bool{-34,W-}
 393           {-# L #-}
 394           ==_a1v9 =
 395               ==_a1uR;
 396           g_aVU  ::  taVZ -> taW6 -> [taWG]
 397           {-# L #-}
 398           g_aVU =
 399               \ ds_d1z4  ::  taVZ
 400                 {-# L #-}
 401                 ds_d1z4 ds_d1z7  ::  taW6
 402                         {-# L #-}
 403                         ds_d1z7 ->
 404                   let {
 405                     fail_d1z8  ::  [taWG]
 406                     {-# L #-}
 407                     fail_d1z8 =
 408                         GHCerr.patError{-8r,w-}
 409                             _@_ [taWG] _string_ "ds022.hs:10|function `g'" } in
 410                   let { fail_d1Bg  ::  [taWG]
 411                         {-# L #-}
 412                         fail_d1Bg =
 413                     let { fail_d1Ay  ::  [taWG]
 414                           {-# L #-}
 415                           fail_d1Ay =
 416                       let {
 417                         fail_d1zQ  ::  [taWG]
 418                         {-# L #-}
 419                         fail_d1zQ =
 420                             case ==_a1v6 lit_a1v5 ds_d1z4 of {
 421                               PrelBase.True{-5E,w-}{i} ->
 422                                   case ==_a1v9 lit_a1v8 ds_d1z7 of {
 423                                     PrelBase.True{-5E,w-}{i} -> PrelBase.[]{-5i,w-}{i} _@_ taWG;
 424                                     PrelBase.False{-58,w-}{i} -> fail_d1z8;
 425                                   };
 426                               PrelBase.False{-58,w-}{i} -> fail_d1z8;
 427                             }
 428                       } in
 429                         case ==_a1v0 lit_a1uZ ds_d1z4 of {
 430                           PrelBase.True{-5E,w-}{i} ->
 431                               case ==_a1v3 lit_a1v2 ds_d1z7 of {
 432                                 PrelBase.True{-5E,w-}{i} -> PrelBase.[]{-5i,w-}{i} _@_ taWG;
 433                                 PrelBase.False{-58,w-}{i} -> fail_d1zQ;
 434                               };
 435                           PrelBase.False{-58,w-}{i} -> fail_d1zQ;
 436                         }
 437                     } in
 438                     case ==_a1uU lit_a1uT ds_d1z4 of {
 439                       PrelBase.True{-5E,w-}{i} ->
 440                           case ==_a1uX lit_a1uW ds_d1z7 of {
 441                             PrelBase.True{-5E,w-}{i} -> PrelBase.[]{-5i,w-}{i} _@_ taWG;
 442                             PrelBase.False{-58,w-}{i} -> fail_d1Ay;
 443                           };
 444                       PrelBase.False{-58,w-}{i} -> fail_d1Ay;
 445                     }
 446                   } in
 447                   case ==_a1uO lit_a1uN ds_d1z4 of {
 448                     PrelBase.True{-5E,w-}{i} ->
 449                         case ==_a1uR lit_a1uQ ds_d1z7 of {
 450                           PrelBase.True{-5E,w-}{i} -> PrelBase.[]{-5i,w-}{i} _@_ taWG;
 451                           PrelBase.False{-58,w-}{i} -> fail_d1Bg;
 452                         };
 453                     PrelBase.False{-58,w-}{i} -> fail_d1Bg;
 454                   };
 455         } in  g_aVU
 456 f{-r3v,x-}  ::  _forall_
 457                 [taX5 taXc taXM]
 458                 =>
 459                 {PrelNum.Fractional{-26,p-} taXc}
 460                 -> {PrelBase.Num{-2c,p-} taX5}
 461                 -> taX5
 462                 -> taXc
 463                 -> [taXM]
 464 {-# L #-}
 465 f{-r3v,x-} =
 466     _/\_ taX5 taXc taXM -> \ d.Fractional_aXU  ::  {PrelNum.Fractional{-26,p-} taXc}
 467                              {-# L #-}
 468                              d.Fractional_aXU d.Num_aXP  ::  {PrelBase.Num{-2c,p-} taX5}
 469                                               {-# L #-}
 470                                               d.Num_aXP ->
 471         _letrec_ {
 472           d.Eq_aXR  ::  {PrelBase.Eq{-23,p-} taX5}
 473           {-# L #-}
 474           d.Eq_aXR =
 475               PrelBase.scsel_NumPrelBaseEq{-a1ls,p-} _@_ taX5 d.Num_aXP;
 476           d.Num_aYb  ::  {PrelBase.Num{-2c,p-} taXc}
 477           {-# L #-}
 478           d.Num_aYb =
 479               PrelNum.scsel_FractionalPrelBaseNum{-a1nt,p-}
 480                   _@_ taXc d.Fractional_aXU;
 481           d.Eq_aXW  ::  {PrelBase.Eq{-23,p-} taXc}
 482           {-# L #-}
 483           d.Eq_aXW =
 484               PrelBase.scsel_NumPrelBaseEq{-a1ls,p-} _@_ taXc d.Num_aYb;
 485           fromInt_a1Cb  ::  PrelBase.Int{-3g,W-} -> taX5
 486           {-# L #-}
 487           fromInt_a1Cb =
 488               PrelBase.fromInt{-8R,p-} _@_ taX5 d.Num_aXP;
 489           lit_a1Cc  ::  taX5
 490           {-# L #-}
 491           lit_a1Cc =
 492               let {
 493                 ds_d1EP  ::  PrelBase.Int{-3g,W-}
 494                 {-# L #-}
 495                 ds_d1EP =
 496                     PrelBase.I#{-5b,w-}{i} 1
 497               } in  fromInt_a1Cb ds_d1EP;
 498           ==_a1Cd  ::  taX5 -> taX5 -> PrelBase.Bool{-34,W-}
 499           {-# L #-}
 500           ==_a1Cd =
 501               PrelBase.=={-8Y,p-} _@_ taX5 d.Eq_aXR;
 502           fromRational_a1Ce  ::  PrelNum.Rational{-3r,p-} -> taXc
 503           {-# L #-}
 504           fromRational_a1Ce =
 505               PrelNum.fromRational{-8T,p-} _@_ taXc d.Fractional_aXU;
 506           lit_a1Cf  ::  taXc
 507           {-# L #-}
 508           lit_a1Cf =
 509               fromRational_a1Ce _rational_  11 10;
 510           ==_a1Cg  ::  taXc -> taXc -> PrelBase.Bool{-34,W-}
 511           {-# L #-}
 512           ==_a1Cg =
 513               PrelBase.=={-8Y,p-} _@_ taXc d.Eq_aXW;
 514           fromInt_a1Ch  ::  PrelBase.Int{-3g,W-} -> taX5
 515           {-# L #-}
 516           fromInt_a1Ch =
 517               fromInt_a1Cb;
 518           lit_a1Ci  ::  taX5
 519           {-# L #-}
 520           lit_a1Ci =
 521               let {
 522                 ds_d1Fx  ::  PrelBase.Int{-3g,W-}
 523                 {-# L #-}
 524                 ds_d1Fx =
 525                     PrelBase.I#{-5b,w-}{i} 2
 526               } in  fromInt_a1Ch ds_d1Fx;
 527           ==_a1Cj  ::  taX5 -> taX5 -> PrelBase.Bool{-34,W-}
 528           {-# L #-}
 529           ==_a1Cj =
 530               ==_a1Cd;
 531           fromRational_a1Ck  ::  PrelNum.Rational{-3r,p-} -> taXc
 532           {-# L #-}
 533           fromRational_a1Ck =
 534               fromRational_a1Ce;
 535           lit_a1Cl  ::  taXc
 536           {-# L #-}
 537           lit_a1Cl =
 538               fromRational_a1Ck _rational_  11 5;
 539           ==_a1Cm  ::  taXc -> taXc -> PrelBase.Bool{-34,W-}
 540           {-# L #-}
 541           ==_a1Cm =
 542               ==_a1Cg;
 543           fromInt_a1Cn  ::  PrelBase.Int{-3g,W-} -> taX5
 544           {-# L #-}
 545           fromInt_a1Cn =
 546               fromInt_a1Cb;
 547           lit_a1Co  ::  taX5
 548           {-# L #-}
 549           lit_a1Co =
 550               let {
 551                 ds_d1FU  ::  PrelBase.Int{-3g,W-}
 552                 {-# L #-}
 553                 ds_d1FU =
 554                     PrelBase.I#{-5b,w-}{i} 3
 555               } in  fromInt_a1Cn ds_d1FU;
 556           ==_a1Cp  ::  taX5 -> taX5 -> PrelBase.Bool{-34,W-}
 557           {-# L #-}
 558           ==_a1Cp =
 559               ==_a1Cd;
 560           fromRational_a1Cq  ::  PrelNum.Rational{-3r,p-} -> taXc
 561           {-# L #-}
 562           fromRational_a1Cq =
 563               fromRational_a1Ce;
 564           lit_a1Cr  ::  taXc
 565           {-# L #-}
 566           lit_a1Cr =
 567               fromRational_a1Cq _rational_  33 10;
 568           ==_a1Cs  ::  taXc -> taXc -> PrelBase.Bool{-34,W-}
 569           {-# L #-}
 570           ==_a1Cs =
 571               ==_a1Cg;
 572           fromInt_a1Ct  ::  PrelBase.Int{-3g,W-} -> taX5
 573           {-# L #-}
 574           fromInt_a1Ct =
 575               fromInt_a1Cb;
 576           lit_a1Cu  ::  taX5
 577           {-# L #-}
 578           lit_a1Cu =
 579               let {
 580                 ds_d1Gh  ::  PrelBase.Int{-3g,W-}
 581                 {-# L #-}
 582                 ds_d1Gh =
 583                     PrelBase.I#{-5b,w-}{i} 4
 584               } in  fromInt_a1Ct ds_d1Gh;
 585           ==_a1Cv  ::  taX5 -> taX5 -> PrelBase.Bool{-34,W-}
 586           {-# L #-}
 587           ==_a1Cv =
 588               ==_a1Cd;
 589           fromRational_a1Cw  ::  PrelNum.Rational{-3r,p-} -> taXc
 590           {-# L #-}
 591           fromRational_a1Cw =
 592               fromRational_a1Ce;
 593           lit_a1Cx  ::  taXc
 594           {-# L #-}
 595           lit_a1Cx =
 596               fromRational_a1Cw _rational_  22 5;
 597           ==_a1Cy  ::  taXc -> taXc -> PrelBase.Bool{-34,W-}
 598           {-# L #-}
 599           ==_a1Cy =
 600               ==_a1Cg;
 601           f_aX0  ::  taX5 -> taXc -> [taXM]
 602           {-# L #-}
 603           f_aX0 =
 604               \ ds_d1H3  ::  taX5
 605                 {-# L #-}
 606                 ds_d1H3 ds_d1H6  ::  taXc
 607                         {-# L #-}
 608                         ds_d1H6 ->
 609                   let {
 610                     fail_d1H7  ::  [taXM]
 611                     {-# L #-}
 612                     fail_d1H7 =
 613                         GHCerr.patError{-8r,w-}
 614                             _@_ [taXM] _string_ "ds022.hs:5|function `f'" } in
 615                   let { fail_d1Jf  ::  [taXM]
 616                         {-# L #-}
 617                         fail_d1Jf =
 618                     let { fail_d1Ix  ::  [taXM]
 619                           {-# L #-}
 620                           fail_d1Ix =
 621                       let {
 622                         fail_d1HP  ::  [taXM]
 623                         {-# L #-}
 624                         fail_d1HP =
 625                             case ==_a1Cv lit_a1Cu ds_d1H3 of {
 626                               PrelBase.True{-5E,w-}{i} ->
 627                                   case ==_a1Cy lit_a1Cx ds_d1H6 of {
 628                                     PrelBase.True{-5E,w-}{i} -> PrelBase.[]{-5i,w-}{i} _@_ taXM;
 629                                     PrelBase.False{-58,w-}{i} -> fail_d1H7;
 630                                   };
 631                               PrelBase.False{-58,w-}{i} -> fail_d1H7;
 632                             }
 633                       } in
 634                         case ==_a1Cp lit_a1Co ds_d1H3 of {
 635                           PrelBase.True{-5E,w-}{i} ->
 636                               case ==_a1Cs lit_a1Cr ds_d1H6 of {
 637                                 PrelBase.True{-5E,w-}{i} -> PrelBase.[]{-5i,w-}{i} _@_ taXM;
 638                                 PrelBase.False{-58,w-}{i} -> fail_d1HP;
 639                               };
 640                           PrelBase.False{-58,w-}{i} -> fail_d1HP;
 641                         }
 642                     } in
 643                     case ==_a1Cj lit_a1Ci ds_d1H3 of {
 644                       PrelBase.True{-5E,w-}{i} ->
 645                           case ==_a1Cm lit_a1Cl ds_d1H6 of {
 646                             PrelBase.True{-5E,w-}{i} -> PrelBase.[]{-5i,w-}{i} _@_ taXM;
 647                             PrelBase.False{-58,w-}{i} -> fail_d1Ix;
 648                           };
 649                       PrelBase.False{-58,w-}{i} -> fail_d1Ix;
 650                     }
 651                   } in
 652                   case ==_a1Cd lit_a1Cc ds_d1H3 of {
 653                     PrelBase.True{-5E,w-}{i} ->
 654                         case ==_a1Cg lit_a1Cf ds_d1H6 of {
 655                           PrelBase.True{-5E,w-}{i} -> PrelBase.[]{-5i,w-}{i} _@_ taXM;
 656                           PrelBase.False{-58,w-}{i} -> fail_d1Jf;
 657                         };
 658                     PrelBase.False{-58,w-}{i} -> fail_d1Jf;
 659                   };
 660         } in  f_aX0
 661 d.Eq_aY8  ::  {PrelBase.Eq{-23,p-} PrelBase.Char{-38,W-}}
 662 {-# L #-}
 663 d.Eq_aY8 =
 664     PrelBase.$d34{-raE,p-}
 665 d.Eq_aY6  ::  {PrelBase.Eq{-23,p-} [PrelBase.Char{-38,W-}]}
 666 {-# L #-}
 667 d.Eq_aY6 =
 668     PrelBase.$d28{-rax,p-} _@_ PrelBase.Char{-38,W-} d.Eq_aY8
 669 ==_a1l5  ::  [PrelBase.Char{-38,W-}]
 670              -> [PrelBase.Char{-38,W-}]
 671              -> PrelBase.Bool{-34,W-}
 672 {-# L #-}
 673 ==_a1l5 =
 674     PrelBase.=={-8Y,p-} _@_ [PrelBase.Char{-38,W-}] d.Eq_aY6
 675 end Rec }