ghc/compiler/tests/deSugar/ds029.stderr

   1
   2
   3 ================================================================================
   4 Desugared:
   5 f{-r3h,x-}  ::
   6     _forall_
   7     [t{-aY1-} t{-aYi-}]
   8     =>
   9     {PrelBase.Ord{-2d,p-} t{-aY1-}}
  10     -> {PrelBase.Num{-2c,p-} t{-aY1-}}
  11     -> t{-aYi-}
  12     -> t{-aY1-}
  13 {-# L #-}
  14 f{-r3h,x-} =
  15     _/\_ t{-aY1-} t{-aYi-} -> \ d.Ord_aYk  ::
  16                                     {PrelBase.Ord{-2d,p-} t{-aY1-}}
  17                                 {-# L #-}
  18                                 d.Ord_aYk d.Num_aYn  ::
  19                                               {PrelBase.Num{-2c,p-} t{-aY1-}}
  20                                           {-# L #-}
  21                                           d.Num_aYn ->
  22         let {
  23           <_a137  ::
  24               t{-aY1-} -> t{-aY1-} -> PrelBase.Bool{-34,p-}
  25           {-# L #-}
  26           <_a137 =
  27               PrelBase.<{-rcJ,p-}
  28                   _@_ t{-aY1-} d.Ord_aYk } in
  29         let {
  30           fromInt_a136  ::
  31               PrelBase.Int{-3g,p-} -> t{-aY1-}
  32           {-# L #-}
  33           fromInt_a136 =
  34               PrelBase.fromInt{-8R,p-}
  35                   _@_ t{-aY1-} d.Num_aYn } in
  36         let { lit_a135  ::
  37                   t{-aY1-}
  38               {-# L #-}
  39               lit_a135 =
  40           let {
  41             ds_d13v  ::
  42                 PrelBase.Int{-3g,p-}
  43             {-# L #-}
  44             ds_d13v =
  45                 PrelBase.I#{-5b,p-}{i}
  46                     0
  47           } in
  48             fromInt_a136
  49                 ds_d13v
  50         } in
  51         let {
  52           fromInt_a134  ::
  53               PrelBase.Int{-3g,p-} -> t{-aY1-}
  54           {-# L #-}
  55           fromInt_a134 =
  56               fromInt_a136 } in
  57         let { lit_a133  ::
  58                   t{-aY1-}
  59               {-# L #-}
  60               lit_a133 =
  61           let {
  62             ds_d13K  ::
  63                 PrelBase.Int{-3g,p-}
  64             {-# L #-}
  65             ds_d13K =
  66                 PrelBase.I#{-5b,p-}{i}
  67                     1
  68           } in
  69             fromInt_a134
  70                 ds_d13K
  71         } in
  72         let {
  73           d.Ord_aYq  ::
  74               {PrelBase.Ord{-2d,p-} t{-aY1-}}
  75           {-# L #-}
  76           d.Ord_aYq =
  77               d.Ord_aYk } in
  78         let {
  79           >_a132  ::
  80               t{-aY1-} -> t{-aY1-} -> PrelBase.Bool{-34,p-}
  81           {-# L #-}
  82           >_a132 =
  83               PrelBase.>{-rcL,p-}
  84                   _@_ t{-aY1-} d.Ord_aYq } in
  85         let {
  86           fromInt_a131  ::
  87               PrelBase.Int{-3g,p-} -> t{-aY1-}
  88           {-# L #-}
  89           fromInt_a131 =
  90               fromInt_a136 } in
  91         let { lit_a130  ::
  92                   t{-aY1-}
  93               {-# L #-}
  94               lit_a130 =
  95           let {
  96             ds_d148  ::
  97                 PrelBase.Int{-3g,p-}
  98             {-# L #-}
  99             ds_d148 =
 100                 PrelBase.I#{-5b,p-}{i}
 101                     2
 102           } in
 103             fromInt_a131
 104                 ds_d148
 105         } in
 106         let {
 107           fromInt_a12Z  ::
 108               PrelBase.Int{-3g,p-} -> t{-aY1-}
 109           {-# L #-}
 110           fromInt_a12Z =
 111               fromInt_a136 } in
 112         let { lit_a12W  ::
 113                   t{-aY1-}
 114               {-# L #-}
 115               lit_a12W =
 116           let {
 117             ds_d14n  ::
 118                 PrelBase.Int{-3g,p-}
 119             {-# L #-}
 120             ds_d14n =
 121                 PrelBase.I#{-5b,p-}{i}
 122                     3
 123           } in
 124             fromInt_a12Z
 125                 ds_d14n
 126         } in
 127         \ x_r3d  ::
 128               t{-aYi-}
 129           {-# L #-}
 130           x_r3d ->
 131             _letrec_ {
 132               lit_a14F  ::
 133                   t{-aY1-}
 134               {-# L #-}
 135               lit_a14F =
 136                   lit_a133;
 137               lit_a14H  ::
 138                   t{-aY1-}
 139               {-# L #-}
 140               lit_a14H =
 141                   lit_a130;
 142               ds_d14Q  ::
 143                   (t{-aY1-}, t{-aY1-})
 144               {-# L #-}
 145               ds_d14Q =
 146                   case
 147                       <_a137
 148                           y_aXx z_aXy
 149                   of {
 150                     PrelBase.True{-5E,p-}{i} ->
 151                         PrelTup.(,){-62,p-}{i}
 152                             {_@_ t{-aY1-} _@_ t{-aY1-} lit_a135 lit_a133};
 153                     PrelBase.False{-58,p-}{i} ->
 154                         case
 155                             >_a132
 156                                 y_aXx z_aXy
 157                         of {
 158                           PrelBase.True{-5E,p-}{i} ->
 159                               PrelTup.(,){-62,p-}{i}
 160                                   {_@_ t{-aY1-} _@_ t{-aY1-} lit_a14F lit_a130};
 161                           PrelBase.False{-58,p-}{i} ->
 162                               PrelTup.(,){-62,p-}{i}
 163                                   {_@_ t{-aY1-} _@_ t{-aY1-} lit_a14H lit_a12W};
 164                         };
 165                   };
 166               y_aXx  ::
 167                   t{-aY1-}
 168               {-# L #-}
 169               y_aXx =
 170                   case ds_d14Q of { PrelTup.(,){-62,p-}{i} y_aXx z_aXy  -> y_aXx;};
 171               z_aXy  ::
 172                   t{-aY1-}
 173               {-# L #-}
 174               z_aXy =
 175                   case ds_d14Q of { PrelTup.(,){-62,p-}{i} y_aXx z_aXy  -> z_aXy;};
 176               y_r3f  ::
 177                   t{-aY1-}
 178               {-# L #-}
 179               y_r3f =
 180                   y_aXx;
 181               z_r3g  ::
 182                   t{-aY1-}
 183               {-# L #-}
 184               z_r3g =
 185                   z_aXy;
 186             } in
 187               y_r3f