ghc/tests/deSugar/should_compile/ds012.stderr

   1
   2
   3 ================================================================================
   4 Desugared:
   5 Rec {
   6 h{-r3l,x-}  ::  _forall_
   7                 [taC6 taC1]
   8                 =>
   9                 {PrelBase.Num{-2c,p-} taC1} -> taC6 -> taC1
  10 {-# L #-}
  11 h{-r3l,x-} =
  12     _/\_ taC6 taC1 -> \ d.Num_aC8  ::  {PrelBase.Num{-2c,p-} taC1}
  13                         {-# L #-}
  14                         d.Num_aC8 ->
  15         _letrec_ {
  16           +_aJx  ::  taC1 -> taC1 -> taC1
  17           {-# L #-}
  18           +_aJx =
  19               PrelBase.+{-r3k,p-} _@_ taC1 d.Num_aC8;
  20           d.Num_aCb  ::  {PrelBase.Num{-2c,p-} taC1}
  21           {-# L #-}
  22           d.Num_aCb =
  23               d.Num_aC8;
  24           fromInteger_aJE  ::  PrelBase.Integer{-3h,W-} -> taC1
  25           {-# L #-}
  26           fromInteger_aJE =
  27               PrelBase.fromInteger{-8S,p-} _@_ taC1 d.Num_aCb;
  28           lit_aJF  ::  taC1
  29           {-# L #-}
  30           lit_aJF =
  31               fromInteger_aJE
  32                   _integer_  111111111111111111111111111111111111111111111111111111111111;
  33           fromInteger_aJG  ::  PrelBase.Integer{-3h,W-} -> taC1
  34           {-# L #-}
  35           fromInteger_aJG =
  36               fromInteger_aJE;
  37           lit_aJH  ::  taC1
  38           {-# L #-}
  39           lit_aJH =
  40               fromInteger_aJG
  41                   _integer_  222222222222222222222222222222222222222222222222222222222222;
  42           h_aBS  ::  taC6 -> taC1
  43           {-# L #-}
  44           h_aBS =
  45               \ x_r3j  ::  taC6
  46                 {-# L #-}
  47                 x_r3j ->
  48                   +_aJx lit_aJF lit_aJH;
  49         } in  h_aBS
  50 f{-r3n,x-}  ::  _forall_
  51                 [taCE taCz]
  52                 =>
  53                 {PrelBase.Num{-2c,p-} taCz} -> taCE -> taCz
  54 {-# L #-}
  55 f{-r3n,x-} =
  56     _/\_ taCE taCz -> \ d.Num_aCG  ::  {PrelBase.Num{-2c,p-} taCz}
  57                         {-# L #-}
  58                         d.Num_aCG ->
  59         _letrec_ {
  60           +_aFs  ::  taCz -> taCz -> taCz
  61           {-# L #-}
  62           +_aFs =
  63               PrelBase.+{-r3k,p-} _@_ taCz d.Num_aCG;
  64           d.Num_aCI  ::  {PrelBase.Num{-2c,p-} taCz}
  65           {-# L #-}
  66           d.Num_aCI =
  67               d.Num_aCG;
  68           -_aFr  ::  taCz -> taCz -> taCz
  69           {-# L #-}
  70           -_aFr =
  71               PrelBase.-{-817,p-} _@_ taCz d.Num_aCI;
  72           +_aFt  ::  taCz -> taCz -> taCz
  73           {-# L #-}
  74           +_aFt =
  75               +_aFs;
  76           d.Num_aCL  ::  {PrelBase.Num{-2c,p-} taCz}
  77           {-# L #-}
  78           d.Num_aCL =
  79               d.Num_aCG;
  80           fromInt_aFu  ::  PrelBase.Int{-3g,W-} -> taCz
  81           {-# L #-}
  82           fromInt_aFu =
  83               PrelBase.fromInt{-8R,p-} _@_ taCz d.Num_aCL;
  84           lit_aFv  ::  taCz
  85           {-# L #-}
  86           lit_aFv =
  87               let {
  88                 ds_dMB  ::  PrelBase.Int{-3g,W-}
  89                 {-# L #-}
  90                 ds_dMB =
  91                     PrelBase.I#{-5b,w-}{i} 1
  92               } in  fromInt_aFu ds_dMB;
  93           fromInt_aFw  ::  PrelBase.Int{-3g,W-} -> taCz
  94           {-# L #-}
  95           fromInt_aFw =
  96               fromInt_aFu;
  97           lit_aFx  ::  taCz
  98           {-# L #-}
  99           lit_aFx =
 100               let {
 101                 ds_dMQ  ::  PrelBase.Int{-3g,W-}
 102                 {-# L #-}
 103                 ds_dMQ =
 104                     PrelBase.I#{-5b,w-}{i} 2
 105               } in  fromInt_aFw ds_dMQ;
 106           fromInt_aFy  ::  PrelBase.Int{-3g,W-} -> taCz
 107           {-# L #-}
 108           fromInt_aFy =
 109               fromInt_aFu;
 110           lit_aFz  ::  taCz
 111           {-# L #-}
 112           lit_aFz =
 113               let {
 114                 ds_dN5  ::  PrelBase.Int{-3g,W-}
 115                 {-# L #-}
 116                 ds_dN5 =
 117                     PrelBase.I#{-5b,w-}{i} 3
 118               } in  fromInt_aFy ds_dN5;
 119           d.Num_aCP  ::  {PrelBase.Num{-2c,p-} taCz}
 120           {-# L #-}
 121           d.Num_aCP =
 122               d.Num_aCG;
 123           *_aFA  ::  taCz -> taCz -> taCz
 124           {-# L #-}
 125           *_aFA =
 126               PrelBase.*{-rfn,p-} _@_ taCz d.Num_aCP;
 127           fromInt_aFB  ::  PrelBase.Int{-3g,W-} -> taCz
 128           {-# L #-}
 129           fromInt_aFB =
 130               fromInt_aFu;
 131           lit_aFC  ::  taCz
 132           {-# L #-}
 133           lit_aFC =
 134               let {
 135                 ds_dNt  ::  PrelBase.Int{-3g,W-}
 136                 {-# L #-}
 137                 ds_dNt =
 138                     PrelBase.I#{-5b,w-}{i} 4
 139               } in  fromInt_aFB ds_dNt;
 140           fromInt_aFD  ::  PrelBase.Int{-3g,W-} -> taCz
 141           {-# L #-}
 142           fromInt_aFD =
 143               fromInt_aFu;
 144           lit_aFE  ::  taCz
 145           {-# L #-}
 146           lit_aFE =
 147               let {
 148                 ds_dNI  ::  PrelBase.Int{-3g,W-}
 149                 {-# L #-}
 150                 ds_dNI =
 151                     PrelBase.I#{-5b,w-}{i} 5
 152               } in  fromInt_aFD ds_dNI;
 153           f_aCe  ::  taCE -> taCz
 154           {-# L #-}
 155           f_aCe =
 156               \ x_r3f  ::  taCE
 157                 {-# L #-}
 158                 x_r3f ->
 159                   let { ds_dNZ  ::  taCz
 160                         {-# L #-}
 161                         ds_dNZ =
 162                     let {
 163                       ds_dOb  ::  taCz
 164                       {-# L #-}
 165                       ds_dOb =
 166                           +_aFt lit_aFv lit_aFx
 167                     } in  -_aFr ds_dOb lit_aFz
 168                   } in
 169                   let {
 170                     ds_dO3  ::  taCz
 171                     {-# L #-}
 172                     ds_dO3 =
 173                         *_aFA lit_aFC lit_aFE
 174                   } in  +_aFs ds_dNZ ds_dO3;
 175         } in  f_aCe
 176 g{-r3m,x-}  ::  _forall_
 177                 [taD7]
 178                 =>
 179                 {PrelBase.Num{-2c,p-} taD7} -> taD7 -> taD7
 180 {-# L #-}
 181 g{-r3m,x-} =
 182     _/\_ taD7 -> \ d.Num_aDa  ::  {PrelBase.Num{-2c,p-} taD7}
 183                    {-# L #-}
 184                    d.Num_aDa ->
 185         _letrec_ {
 186           +_aON  ::  taD7 -> taD7 -> taD7
 187           {-# L #-}
 188           +_aON =
 189               PrelBase.+{-r3k,p-} _@_ taD7 d.Num_aDa;
 190           d.Num_aDc  ::  {PrelBase.Num{-2c,p-} taD7}
 191           {-# L #-}
 192           d.Num_aDc =
 193               d.Num_aDa;
 194           f_aOU  ::  taD7 -> taD7
 195           {-# L #-}
 196           f_aOU =
 197               f{-r3n,x-} _@_ taD7 _@_ taD7 d.Num_aDc;
 198           g_aCT  ::  taD7 -> taD7
 199           {-# L #-}
 200           g_aCT =
 201               \ x_r3h  ::  taD7
 202                 {-# L #-}
 203                 x_r3h ->
 204                   let {
 205                     ds_dPu  ::  taD7
 206                     {-# L #-}
 207                     ds_dPu =
 208                         f_aOU x_r3h
 209                   } in  +_aON x_r3h ds_dPu;
 210         } in  g_aCT
 211 end Rec }