ghc/tests/deSugar/should_compile/ds040.stderr

   1
   2
   3 ================================================================================
   4 Desugared:
   5 Rec {
   6 ^^^^{-r3g,x-}  ::  _forall_
   7                    [taZJ taZG]
   8                    =>
   9                    {PrelBase.Num{-2c,p-} taZG}
  10                    -> {PrelNum.Integral{-27,p-} taZJ}
  11                    -> taZG
  12                    -> taZJ
  13                    -> taZG
  14 {-# L #-}
  15 ^^^^{-r3g,x-} =
  16     _/\_ taZJ taZG -> \ d.Num_a11q  ::  {PrelBase.Num{-2c,p-} taZG}
  17                         {-# L #-}
  18                         d.Num_a11q d.Integral_a11r  ::  {PrelNum.Integral{-27,p-} taZJ}
  19                                    {-# L #-}
  20                                    d.Integral_a11r ->
  21         _letrec_ {
  22           d.Real_a11G  ::  {PrelNum.Real{-2f,p-} taZJ}
  23           {-# L #-}
  24           d.Real_a11G =
  25               PrelNum.scsel_IntegralPrelNumReal{-a1eV,p-}
  26                   _@_ taZJ d.Integral_a11r;
  27           d.Num_a11u  ::  {PrelBase.Num{-2c,p-} taZJ}
  28           {-# L #-}
  29           d.Num_a11u =
  30               PrelNum.scsel_RealPrelBaseNum{-a1gK,p-} _@_ taZJ d.Real_a11G;
  31           d.Ord_a11C  ::  {PrelBase.Ord{-2d,p-} taZJ}
  32           {-# L #-}
  33           d.Ord_a11C =
  34               PrelNum.scsel_RealPrelBaseOrd{-a1gT,p-} _@_ taZJ d.Real_a11G;
  35           d.Eq_a11w  ::  {PrelBase.Eq{-23,p-} taZJ}
  36           {-# L #-}
  37           d.Eq_a11w =
  38               PrelBase.scsel_OrdPrelBaseEq{-a1h2,p-} _@_ taZJ d.Ord_a11C;
  39           fromInt_a1eK  ::  PrelBase.Int{-3g,W-} -> taZJ
  40           {-# L #-}
  41           fromInt_a1eK =
  42               PrelBase.fromInt{-8R,p-} _@_ taZJ d.Num_a11u;
  43           lit_a1eL  ::  taZJ
  44           {-# L #-}
  45           lit_a1eL =
  46               let {
  47                 ds_d1hh  ::  PrelBase.Int{-3g,W-}
  48                 {-# L #-}
  49                 ds_d1hh =
  50                     PrelBase.I#{-5b,w-}{i} 0
  51               } in  fromInt_a1eK ds_d1hh;
  52           ==_a1eM  ::  taZJ -> taZJ -> PrelBase.Bool{-34,W-}
  53           {-# L #-}
  54           ==_a1eM =
  55               PrelBase.=={-8Y,p-} _@_ taZJ d.Eq_a11w;
  56           d.Num_a11z  ::  {PrelBase.Num{-2c,p-} taZG}
  57           {-# L #-}
  58           d.Num_a11z =
  59               d.Num_a11q;
  60           fromInt_a1eN  ::  PrelBase.Int{-3g,W-} -> taZG
  61           {-# L #-}
  62           fromInt_a1eN =
  63               PrelBase.fromInt{-8R,p-} _@_ taZG d.Num_a11z;
  64           lit_a1eO  ::  taZG
  65           {-# L #-}
  66           lit_a1eO =
  67               let {
  68                 ds_d1hM  ::  PrelBase.Int{-3g,W-}
  69                 {-# L #-}
  70                 ds_d1hM =
  71                     PrelBase.I#{-5b,w-}{i} 1
  72               } in  fromInt_a1eN ds_d1hM;
  73           fromInt_a1eP  ::  PrelBase.Int{-3g,W-} -> taZJ
  74           {-# L #-}
  75           fromInt_a1eP =
  76               fromInt_a1eK;
  77           lit_a1eQ  ::  taZJ
  78           {-# L #-}
  79           lit_a1eQ =
  80               let {
  81                 ds_d1i1  ::  PrelBase.Int{-3g,W-}
  82                 {-# L #-}
  83                 ds_d1i1 =
  84                     PrelBase.I#{-5b,w-}{i} 1
  85               } in  fromInt_a1eP ds_d1i1;
  86           >=_a1eR  ::  taZJ -> taZJ -> PrelBase.Bool{-34,W-}
  87           {-# L #-}
  88           >=_a1eR =
  89               PrelBase.>={-8Z,p-} _@_ taZJ d.Ord_a11C;
  90           d.Num_a11E  ::  {PrelBase.Num{-2c,p-} taZJ}
  91           {-# L #-}
  92           d.Num_a11E =
  93               d.Num_a11u;
  94           -_a1eS  ::  taZJ -> taZJ -> taZJ
  95           {-# L #-}
  96           -_a1eS =
  97               PrelBase.-{-817,p-} _@_ taZJ d.Num_a11E;
  98           d.Integral_a11h  ::  {PrelNum.Integral{-27,p-} taZJ}
  99           {-# L #-}
 100           d.Integral_a11h =
 101               d.Integral_a11r;
 102           d.Num_a11i  ::  {PrelBase.Num{-2c,p-} taZG}
 103           {-# L #-}
 104           d.Num_a11i =
 105               d.Num_a11q;
 106           ^^^^_aZD  ::  taZG -> taZJ -> taZG
 107           {-# L #-}
 108           ^^^^_aZD =
 109               \ x_r3k  ::  taZG
 110                 {-# L #-}
 111                 x_r3k ds_d1iN  ::  taZJ
 112                       {-# L #-}
 113                       ds_d1iN ->
 114                   let {
 115                     fail_d1j0  ::  taZG
 116                     {-# L #-}
 117                     fail_d1j0 =
 118                         IOBase.error{-87,w-}
 119                             _@_ taZG _string_ "(^^^^){Prelude}: negative exponent" } in
 120                   let {
 121                     fail_d1qc  ::  taZG
 122                     {-# L #-}
 123                     fail_d1qc =
 124                         case
 125                             (\ ds_d1iU  ::  taZJ
 126                                {-# L #-}
 127                                ds_d1iU ->
 128                                  >=_a1eR ds_d1iU lit_a1eQ)
 129                                 ds_d1iN
 130                         of {
 131                           PrelBase.True{-5E,w-}{i} ->
 132                               let {
 133                                 n_r3n  ::  taZJ
 134                                 {-# L #-}
 135                                 n_r3n =
 136                                     (\ ds_d1jp  ::  taZJ
 137                                        {-# L #-}
 138                                        ds_d1jp ->
 139                                          -_a1eS ds_d1jp lit_a1eQ)
 140                                         ds_d1iN } in
 141                               let {
 142                                 x_r3m  ::  taZG
 143                                 {-# L #-}
 144                                 x_r3m =
 145                                     x_r3k } in
 146                               _letrec_ {
 147                                 f_r3p  ::  _forall_
 148                                            [ta10M ta10Q]
 149                                            =>
 150                                            {PrelNum.Integral{-27,p-} ta10M}
 151                                            -> {PrelBase.Num{-2c,p-} ta10Q}
 152                                            -> ta10Q
 153                                            -> ta10M
 154                                            -> ta10Q
 155                                            -> ta10Q
 156                                 {-# L #-}
 157                                 f_r3p =
 158                                     _/\_ ta10M ta10Q -> \ d.Integral_a10Z  ::  {PrelNum.Integral{-27,p-} ta10M}
 159                                                           {-# L #-}
 160                                                           d.Integral_a10Z d.Num_a111  ::  {PrelBase.Num{-2c,p-} ta10Q}
 161                                                                           {-# L #-}
 162                                                                           d.Num_a111 ->
 163                                         _letrec_ {
 164                                           d.Real_a119  ::  {PrelNum.Real{-2f,p-} ta10M}
 165                                           {-# L #-}
 166                                           d.Real_a119 =
 167                                               PrelNum.scsel_IntegralPrelNumReal{-a1eV,p-}
 168                                                   _@_ ta10M d.Integral_a10Z;
 169                                           d.Num_a10V  ::  {PrelBase.Num{-2c,p-} ta10M}
 170                                           {-# L #-}
 171                                           d.Num_a10V =
 172                                               PrelNum.scsel_RealPrelBaseNum{-a1gK,p-}
 173                                                   _@_ ta10M d.Real_a119;
 174                                           d.Eq_a10X  ::  {PrelBase.Eq{-23,p-} ta10M}
 175                                           {-# L #-}
 176                                           d.Eq_a10X =
 177                                               PrelBase.scsel_NumPrelBaseEq{-a1lq,p-}
 178                                                   _@_ ta10M d.Num_a10V;
 179                                           fromInt_a1jV  ::  PrelBase.Int{-3g,W-} -> ta10M
 180                                           {-# L #-}
 181                                           fromInt_a1jV =
 182                                               PrelBase.fromInt{-8R,p-} _@_ ta10M d.Num_a10V;
 183                                           lit_a1jW  ::  ta10M
 184                                           {-# L #-}
 185                                           lit_a1jW =
 186                                               let {
 187                                                 ds_d1lF  ::  PrelBase.Int{-3g,W-}
 188                                                 {-# L #-}
 189                                                 ds_d1lF =
 190                                                     PrelBase.I#{-5b,w-}{i} 0
 191                                               } in  fromInt_a1jV ds_d1lF;
 192                                           ==_a1jX  ::  ta10M -> ta10M -> PrelBase.Bool{-34,W-}
 193                                           {-# L #-}
 194                                           ==_a1jX =
 195                                               PrelBase.=={-8Y,p-} _@_ ta10M d.Eq_a10X;
 196                                           even_a1jY  ::  ta10M -> PrelBase.Bool{-34,W-}
 197                                           {-# L #-}
 198                                           even_a1jY =
 199                                               PrelNum.even{-ruE,p-} _@_ ta10M d.Integral_a10Z;
 200                                           *_a1jZ  ::  ta10Q -> ta10Q -> ta10Q
 201                                           {-# L #-}
 202                                           *_a1jZ =
 203                                               PrelBase.*{-ra3,p-} _@_ ta10Q d.Num_a111;
 204                                           d.Integral_a113  ::  {PrelNum.Integral{-27,p-} ta10M}
 205                                           {-# L #-}
 206                                           d.Integral_a113 =
 207                                               d.Integral_a10Z;
 208                                           quot_a1k0  ::  ta10M -> ta10M -> ta10M
 209                                           {-# L #-}
 210                                           quot_a1k0 =
 211                                               PrelNum.quot{-rh5,p-} _@_ ta10M d.Integral_a113;
 212                                           fromInt_a1k1  ::  PrelBase.Int{-3g,W-} -> ta10M
 213                                           {-# L #-}
 214                                           fromInt_a1k1 =
 215                                               fromInt_a1jV;
 216                                           lit_a1k2  ::  ta10M
 217                                           {-# L #-}
 218                                           lit_a1k2 =
 219                                               let {
 220                                                 ds_d1mr  ::  PrelBase.Int{-3g,W-}
 221                                                 {-# L #-}
 222                                                 ds_d1mr =
 223                                                     PrelBase.I#{-5b,w-}{i} 2
 224                                               } in  fromInt_a1k1 ds_d1mr;
 225                                           d.Num_a116  ::  {PrelBase.Num{-2c,p-} ta10M}
 226                                           {-# L #-}
 227                                           d.Num_a116 =
 228                                               d.Num_a10V;
 229                                           -_a1k3  ::  ta10M -> ta10M -> ta10M
 230                                           {-# L #-}
 231                                           -_a1k3 =
 232                                               PrelBase.-{-817,p-} _@_ ta10M d.Num_a116;
 233                                           fromInt_a1k4  ::  PrelBase.Int{-3g,W-} -> ta10M
 234                                           {-# L #-}
 235                                           fromInt_a1k4 =
 236                                               fromInt_a1jV;
 237                                           lit_a1k5  ::  ta10M
 238                                           {-# L #-}
 239                                           lit_a1k5 =
 240                                               let {
 241                                                 ds_d1mP  ::  PrelBase.Int{-3g,W-}
 242                                                 {-# L #-}
 243                                                 ds_d1mP =
 244                                                     PrelBase.I#{-5b,w-}{i} 1
 245                                               } in  fromInt_a1k4 ds_d1mP;
 246                                           f_aZV  ::  ta10Q -> ta10M -> ta10Q -> ta10Q
 247                                           {-# L #-}
 248                                           f_aZV =
 249                                               \ ds_d1n9  ::  ta10Q
 250                                                 {-# L #-}
 251                                                 ds_d1n9 ds_d1n6  ::  ta10M
 252                                                         {-# L #-}
 253                                                         ds_d1n6 y_r3r  ::  ta10Q
 254                                                                 {-# L #-}
 255                                                                 y_r3r ->
 256                                                   let { fail_d1pl  ::  ta10Q
 257                                                         {-# L #-}
 258                                                         fail_d1pl =
 259                                                     let {
 260                                                       y_r3v  ::  ta10Q
 261                                                       {-# L #-}
 262                                                       y_r3v =
 263                                                           y_r3r } in
 264                                                     let {
 265                                                       n_r3u  ::  ta10M
 266                                                       {-# L #-}
 267                                                       n_r3u =
 268                                                           ds_d1n6 } in
 269                                                     let {
 270                                                       x_r3t  ::  ta10Q
 271                                                       {-# L #-}
 272                                                       x_r3t =
 273                                                           ds_d1n9 } in
 274                                                     _letrec_ {
 275                                                       *_a1np  ::  ta10Q -> ta10Q -> ta10Q
 276                                                       {-# L #-}
 277                                                       *_a1np =
 278                                                           *_a1jZ;
 279                                                       g_a10m  ::  ta10Q -> ta10M -> ta10Q
 280                                                       {-# L #-}
 281                                                       g_a10m =
 282                                                           \ x_r3z  ::  ta10Q
 283                                                             {-# L #-}
 284                                                             x_r3z n_r3A  ::  ta10M
 285                                                                   {-# L #-}
 286                                                                   n_r3A ->
 287                                                               case even_a1jY n_r3A of {
 288                                                                 PrelBase.True{-5E,w-}{i} ->
 289                                                                     let {
 290                                                                       ds_d1nU  ::  ta10M
 291                                                                       {-# L #-}
 292                                                                       ds_d1nU =
 293                                                                           quot_a1k0 n_r3A lit_a1k2
 294                                                                     } in
 295                                                                       (let {
 296                                                                          ds_d1ob  ::  ta10Q
 297                                                                          {-# L #-}
 298                                                                          ds_d1ob =
 299                                                                              *_a1jZ x_r3z x_r3z
 300                                                                        } in  g_a10m ds_d1ob)
 301                                                                           ds_d1nU;
 302                                                                 PrelBase.False{-58,w-}{i} ->
 303                                                                     let {
 304                                                                       ds_d1ow  ::  ta10Q
 305                                                                       {-# L #-}
 306                                                                       ds_d1ow =
 307                                                                           *_a1np x_r3z y_r3v
 308                                                                     } in
 309                                                                       (let {
 310                                                                          ds_d1oQ  ::  ta10M
 311                                                                          {-# L #-}
 312                                                                          ds_d1oQ =
 313                                                                              -_a1k3 n_r3A lit_a1k5
 314                                                                        } in  f_aZV x_r3z ds_d1oQ)
 315                                                                           ds_d1ow;
 316                                                               };
 317                                                       g_r3x  ::  ta10Q -> ta10M -> ta10Q
 318                                                       {-# L #-}
 319                                                       g_r3x =
 320                                                           g_a10m;
 321                                                     } in  g_r3x x_r3t n_r3u
 322                                                   } in
 323                                                   case ==_a1jX lit_a1jW ds_d1n6 of {
 324                                                     PrelBase.True{-5E,w-}{i} -> y_r3r;
 325                                                     PrelBase.False{-58,w-}{i} -> fail_d1pl;
 326                                                   };
 327                                         } in  f_aZV;
 328                               } in
 329                                 let {
 330                                   f_a1pD  ::  taZG -> taZJ -> taZG -> taZG
 331                                   {-# L #-}
 332                                   f_a1pD =
 333                                       f_r3p _@_ taZJ _@_ taZG d.Integral_a11h d.Num_a11i
 334                                 } in  f_a1pD x_r3m n_r3n x_r3m;
 335                           PrelBase.False{-58,w-}{i} -> fail_d1j0;
 336                         }
 337                   } in
 338                     case ==_a1eM lit_a1eL ds_d1iN of {
 339                       PrelBase.True{-5E,w-}{i} -> lit_a1eO;
 340                       PrelBase.False{-58,w-}{i} -> fail_d1qc;
 341                     };
 342         } in  ^^^^_aZD
 343 ^^^^_a1eG  ::  PrelBase.Int{-3g,W-}
 344                -> PrelBase.Int{-3g,W-}
 345                -> PrelBase.Int{-3g,W-}
 346 {-# L #-}
 347 ^^^^_a1eG =
 348     ^^^^{-r3g,x-}
 349         _@_ PrelBase.Int{-3g,W-}
 350         _@_ PrelBase.Int{-3g,W-}
 351         d.Num_a127
 352         d.Integral_a128
 353 main_a11K  ::  IOBase.IO{-3e,p-} PrelBase.(){-40,W-}
 354 {-# L #-}
 355 main_a11K =
 356     let {
 357       ds_d1qH  ::  PrelBase.Int{-3g,W-}
 358       {-# L #-}
 359       ds_d1qH =
 360           ^^^^_a1eG lit_a1eI lit_a1eJ
 361     } in  print_a1eH ds_d1qH
 362 main{-814,x-}  ::  IOBase.IO{-3e,p-} PrelBase.(){-40,W-}
 363 {-# L #-}
 364 main{-814,x-} =
 365     main_a11K
 366 d.Show_a12a  ::  {PrelBase.Show{-2i,p-} PrelBase.Int{-3g,W-}}
 367 {-# L #-}
 368 d.Show_a12a =
 369     PrelBase.$d3{-raC,p-}
 370 print_a1eH  ::  PrelBase.Int{-3g,W-}
 371                 -> IOBase.IO{-3e,p-} PrelBase.(){-40,W-}
 372 {-# L #-}
 373 print_a1eH =
 374     PrelIO.print{-rLi,p-} _@_ PrelBase.Int{-3g,W-} d.Show_a12a
 375 d.Num_a127  ::  {PrelBase.Num{-2c,p-} PrelBase.Int{-3g,W-}}
 376 {-# L #-}
 377 d.Num_a127 =
 378     PrelBase.$d4{-raN,p-}
 379 d.Integral_a128  ::  {PrelNum.Integral{-27,p-} PrelBase.Int{-3g,W-}}
 380 {-# L #-}
 381 d.Integral_a128 =
 382     PrelNum.$d36{-roC,p-}
 383 lit_a1eI  ::  PrelBase.Int{-3g,W-}
 384 {-# L #-}
 385 lit_a1eI =
 386     PrelBase.I#{-5b,w-}{i} 4
 387 lit_a1eJ  ::  PrelBase.Int{-3g,W-}
 388 {-# L #-}
 389 lit_a1eJ =
 390     PrelBase.I#{-5b,w-}{i} 6
 391 end Rec }