ghc/tests/deSugar/should_compile/ds012.stderr

   1
   2
   3 ================================================================================
   4 Desugared:
   5 h{-r3l,x-}  ::
   6     _forall_
   7     [t{-aHu-} t{-aHz-}]
   8     =>
   9     {PrelBase.Num{-2c,p-} t{-aHu-}} -> t{-aHz-} -> t{-aHu-}
  10 {-# L #-}
  11 h{-r3l,x-} =
  12     _/\_ t{-aHu-} t{-aHz-} -> \ d.Num_aHB  ::
  13                                     {PrelBase.Num{-2c,p-} t{-aHu-}}
  14                                 {-# L #-}
  15                                 d.Num_aHB ->
  16         let {
  17           +_aP0  ::
  18               t{-aHu-} -> t{-aHu-} -> t{-aHu-}
  19           {-# L #-}
  20           +_aP0 =
  21               PrelBase.+{-r3k,p-}
  22                   _@_ t{-aHu-} d.Num_aHB } in
  23         let {
  24           d.Num_aHE  ::
  25               {PrelBase.Num{-2c,p-} t{-aHu-}}
  26           {-# L #-}
  27           d.Num_aHE =
  28               d.Num_aHB } in
  29         let {
  30           fromInteger_aOZ  ::
  31               PrelBase.Integer{-3h,p-} -> t{-aHu-}
  32           {-# L #-}
  33           fromInteger_aOZ =
  34               PrelBase.fromInteger{-8S,p-}
  35                   _@_ t{-aHu-} d.Num_aHE } in
  36         let {
  37           lit_aOY  ::
  38               t{-aHu-}
  39           {-# L #-}
  40           lit_aOY =
  41               fromInteger_aOZ
  42                   _integer_  111111111111111111111111111111111111111111111111111111111111 } in
  43         let {
  44           fromInteger_aOX  ::
  45               PrelBase.Integer{-3h,p-} -> t{-aHu-}
  46           {-# L #-}
  47           fromInteger_aOX =
  48               fromInteger_aOZ } in
  49         let {
  50           lit_aOW  ::
  51               t{-aHu-}
  52           {-# L #-}
  53           lit_aOW =
  54               fromInteger_aOX
  55                   _integer_  222222222222222222222222222222222222222222222222222222222222
  56         } in
  57           \ x_r3j  ::
  58                 t{-aHz-}
  59             {-# L #-}
  60             x_r3j ->
  61               +_aP0
  62                   lit_aOY lit_aOW
  63 f{-r3n,x-}  ::
  64     _forall_
  65     [t{-aI9-} t{-aIe-}]
  66     =>
  67     {PrelBase.Num{-2c,p-} t{-aI9-}} -> t{-aIe-} -> t{-aI9-}
  68 {-# L #-}
  69 f{-r3n,x-} =
  70     _/\_ t{-aI9-} t{-aIe-} -> \ d.Num_aIg  ::
  71                                     {PrelBase.Num{-2c,p-} t{-aI9-}}
  72                                 {-# L #-}
  73                                 d.Num_aIg ->
  74         let {
  75           +_aNl  ::
  76               t{-aI9-} -> t{-aI9-} -> t{-aI9-}
  77           {-# L #-}
  78           +_aNl =
  79               PrelBase.+{-r3k,p-}
  80                   _@_ t{-aI9-} d.Num_aIg } in
  81         let {
  82           d.Num_aIi  ::
  83               {PrelBase.Num{-2c,p-} t{-aI9-}}
  84           {-# L #-}
  85           d.Num_aIi =
  86               d.Num_aIg } in
  87         let {
  88           -_aNk  ::
  89               t{-aI9-} -> t{-aI9-} -> t{-aI9-}
  90           {-# L #-}
  91           -_aNk =
  92               PrelBase.-{-817,p-}
  93                   _@_ t{-aI9-} d.Num_aIi } in
  94         let {
  95           +_aN8  ::
  96               t{-aI9-} -> t{-aI9-} -> t{-aI9-}
  97           {-# L #-}
  98           +_aN8 =
  99               +_aNl } in
 100         let {
 101           d.Num_aIl  ::
 102               {PrelBase.Num{-2c,p-} t{-aI9-}}
 103           {-# L #-}
 104           d.Num_aIl =
 105               d.Num_aIg } in
 106         let {
 107           fromInt_aNj  ::
 108               PrelBase.Int{-3g,p-} -> t{-aI9-}
 109           {-# L #-}
 110           fromInt_aNj =
 111               PrelBase.fromInt{-8R,p-}
 112                   _@_ t{-aI9-} d.Num_aIl } in
 113         let { lit_aNi  ::
 114                   t{-aI9-}
 115               {-# L #-}
 116               lit_aNi =
 117           let {
 118             ds_dQX  ::
 119                 PrelBase.Int{-3g,p-}
 120             {-# L #-}
 121             ds_dQX =
 122                 PrelBase.I#{-5b,p-}{i}
 123                     1
 124           } in
 125             fromInt_aNj
 126                 ds_dQX
 127         } in
 128         let {
 129           fromInt_aNh  ::
 130               PrelBase.Int{-3g,p-} -> t{-aI9-}
 131           {-# L #-}
 132           fromInt_aNh =
 133               fromInt_aNj } in
 134         let { lit_aNg  ::
 135                   t{-aI9-}
 136               {-# L #-}
 137               lit_aNg =
 138           let {
 139             ds_dRc  ::
 140                 PrelBase.Int{-3g,p-}
 141             {-# L #-}
 142             ds_dRc =
 143                 PrelBase.I#{-5b,p-}{i}
 144                     2
 145           } in
 146             fromInt_aNh
 147                 ds_dRc
 148         } in
 149         let {
 150           fromInt_aNf  ::
 151               PrelBase.Int{-3g,p-} -> t{-aI9-}
 152           {-# L #-}
 153           fromInt_aNf =
 154               fromInt_aNj } in
 155         let { lit_aNe  ::
 156                   t{-aI9-}
 157               {-# L #-}
 158               lit_aNe =
 159           let {
 160             ds_dRr  ::
 161                 PrelBase.Int{-3g,p-}
 162             {-# L #-}
 163             ds_dRr =
 164                 PrelBase.I#{-5b,p-}{i}
 165                     3
 166           } in
 167             fromInt_aNf
 168                 ds_dRr
 169         } in
 170         let {
 171           d.Num_aIp  ::
 172               {PrelBase.Num{-2c,p-} t{-aI9-}}
 173           {-# L #-}
 174           d.Num_aIp =
 175               d.Num_aIg } in
 176         let {
 177           *_aNd  ::
 178               t{-aI9-} -> t{-aI9-} -> t{-aI9-}
 179           {-# L #-}
 180           *_aNd =
 181               PrelBase.*{-rcJ,p-}
 182                   _@_ t{-aI9-} d.Num_aIp } in
 183         let {
 184           fromInt_aNc  ::
 185               PrelBase.Int{-3g,p-} -> t{-aI9-}
 186           {-# L #-}
 187           fromInt_aNc =
 188               fromInt_aNj } in
 189         let { lit_aNb  ::
 190                   t{-aI9-}
 191               {-# L #-}
 192               lit_aNb =
 193           let {
 194             ds_dRP  ::
 195                 PrelBase.Int{-3g,p-}
 196             {-# L #-}
 197             ds_dRP =
 198                 PrelBase.I#{-5b,p-}{i}
 199                     4
 200           } in
 201             fromInt_aNc
 202                 ds_dRP
 203         } in
 204         let {
 205           fromInt_aNa  ::
 206               PrelBase.Int{-3g,p-} -> t{-aI9-}
 207           {-# L #-}
 208           fromInt_aNa =
 209               fromInt_aNj } in
 210         let { lit_aN9  ::
 211                   t{-aI9-}
 212               {-# L #-}
 213               lit_aN9 =
 214           let {
 215             ds_dS4  ::
 216                 PrelBase.Int{-3g,p-}
 217             {-# L #-}
 218             ds_dS4 =
 219                 PrelBase.I#{-5b,p-}{i}
 220                     5
 221           } in
 222             fromInt_aNa
 223                 ds_dS4
 224         } in
 225         \ x_r3f  ::
 226               t{-aIe-}
 227           {-# L #-}
 228           x_r3f ->
 229             let { ds_dSk  ::
 230                       t{-aI9-}
 231                   {-# L #-}
 232                   ds_dSk =
 233               let {
 234                 ds_dSw  ::
 235                     t{-aI9-}
 236                 {-# L #-}
 237                 ds_dSw =
 238                     +_aN8
 239                         lit_aNi lit_aNg
 240               } in
 241                 -_aNk
 242                     ds_dSw lit_aNe
 243             } in
 244             let {
 245               ds_dSo  ::
 246                   t{-aI9-}
 247               {-# L #-}
 248               ds_dSo =
 249                   *_aNd
 250                       lit_aNb lit_aN9
 251             } in
 252               +_aNl
 253                   ds_dSk ds_dSo
 254 g{-r3m,x-}  ::
 255     _forall_
 256     [t{-aID-}]
 257     =>
 258     {PrelBase.Num{-2c,p-} t{-aID-}} -> t{-aID-} -> t{-aID-}
 259 {-# L #-}
 260 g{-r3m,x-} =
 261     _/\_ t{-aID-} -> \ d.Num_aIH  ::
 262                            {PrelBase.Num{-2c,p-} t{-aID-}}
 263                        {-# L #-}
 264                        d.Num_aIH ->
 265         let {
 266           +_aTf  ::
 267               t{-aID-} -> t{-aID-} -> t{-aID-}
 268           {-# L #-}
 269           +_aTf =
 270               PrelBase.+{-r3k,p-}
 271                   _@_ t{-aID-} d.Num_aIH } in
 272         let {
 273           d.Num_aIJ  ::
 274               {PrelBase.Num{-2c,p-} t{-aID-}}
 275           {-# L #-}
 276           d.Num_aIJ =
 277               d.Num_aIH } in
 278         let {
 279           f_aTe  ::
 280               t{-aID-} -> t{-aID-}
 281           {-# L #-}
 282           f_aTe =
 283               f{-r3n,x-}
 284                   _@_ t{-aID-} _@_ t{-aID-} d.Num_aIJ
 285         } in
 286           \ x_r3h  ::
 287                 t{-aID-}
 288             {-# L #-}
 289             x_r3h ->
 290               let {
 291                 ds_dTJ  ::
 292                     t{-aID-}
 293                 {-# L #-}
 294                 ds_dTJ =
 295                     f_aTe
 296                         x_r3h
 297               } in
 298                 +_aTf
 299                     x_r3h ds_dTJ