ghc/compiler/tests/deSugar/ds037.stderr

   1
   2
   3 ================================================================================
   4 Desugared:
   5 Rec {
   6 d.Num_aXF  ::
   7     {PrelBase.Num{-2c,p-} PrelBase.Int{-3g,p-}}
   8 {-# L #-}
   9 d.Num_aXF =
  10     PrelBase.$d3{-rbd,p-}
  11 +_aZO  ::
  12     PrelBase.Int{-3g,p-}
  13     -> PrelBase.Int{-3g,p-}
  14     -> PrelBase.Int{-3g,p-}
  15 {-# L #-}
  16 +_aZO =
  17     PrelBase.+{-r3m,p-}
  18         _@_ PrelBase.Int{-3g,p-} d.Num_aXF
  19 d.Num_aXJ  ::
  20     {PrelBase.Num{-2c,p-} PrelBase.Int{-3g,p-}}
  21 {-# L #-}
  22 d.Num_aXJ =
  23     d.Num_aXF
  24 fromInt_aZN  ::
  25     PrelBase.Int{-3g,p-} -> PrelBase.Int{-3g,p-}
  26 {-# L #-}
  27 fromInt_aZN =
  28     PrelBase.fromInt{-8R,p-}
  29         _@_ PrelBase.Int{-3g,p-} d.Num_aXJ
  30 lit_aZM  ::
  31     PrelBase.Int{-3g,p-}
  32 {-# L #-}
  33 lit_aZM =
  34     let {
  35       ds_d123  ::
  36           PrelBase.Int{-3g,p-}
  37       {-# L #-}
  38       ds_d123 =
  39           PrelBase.I#{-5b,p-}{i}
  40               1
  41     } in
  42       fromInt_aZN
  43           ds_d123
  44 ds_d11F  ::
  45     _forall_
  46     [b{-aXa-}]
  47     =>
  48     (PrelBase.Int{-3g,p-}
  49      -> PrelBase.Int{-3g,p-}
  50      -> (b{-aXa-}, PrelBase.Int{-3g,p-}), PrelBase.Int{-3g,p-}
  51                                           -> PrelBase.Int{-3g,p-}
  52                                           -> (b{-aXa-}, PrelBase.Int{-3g,p-}))
  53 {-# L #-}
  54 ds_d11F =
  55     _/\_ b{-aXa-} ->
  56         _letrec_ {
  57           +_aZQ  ::
  58               PrelBase.Int{-3g,p-}
  59               -> PrelBase.Int{-3g,p-}
  60               -> PrelBase.Int{-3g,p-}
  61           {-# L #-}
  62           +_aZQ =
  63               +_aZO;
  64           lit_aZP  ::
  65               PrelBase.Int{-3g,p-}
  66           {-# L #-}
  67           lit_aZP =
  68               lit_aZM;
  69           f_aWT  ::
  70               PrelBase.Int{-3g,p-}
  71               -> PrelBase.Int{-3g,p-}
  72               -> (b{-aXa-}, PrelBase.Int{-3g,p-})
  73           {-# L #-}
  74           f_aWT =
  75               \ x_r3e  ::
  76                     PrelBase.Int{-3g,p-}
  77                 {-# L #-}
  78                 x_r3e y_r3g  ::
  79                           PrelBase.Int{-3g,p-}
  80                       {-# L #-}
  81                       y_r3g ->
  82                   let { ds_d12N  ::
  83                             b{-aXa-}
  84                         {-# L #-}
  85                         ds_d12N =
  86                     let {
  87                       ds_d133  ::
  88                           (b{-aXa-}, PrelBase.Int{-3g,p-})
  89                       {-# L #-}
  90                       ds_d133 =
  91                           g_aWU
  92                               y_r3g x_r3e
  93                     } in
  94                       PrelTup.fst{-riN,p-}
  95                           _@_ PrelBase.Int{-3g,p-} _@_ b{-aXa-} ds_d133
  96                   } in
  97                   let {
  98                     ds_d12R  ::
  99                         PrelBase.Int{-3g,p-}
 100                     {-# L #-}
 101                     ds_d12R =
 102                         +_aZO
 103                             x_r3e lit_aZM
 104                   } in
 105                     PrelTup.(,){-62,p-}{i}
 106                         {_@_ b{-aXa-} _@_ PrelBase.Int{-3g,p-} ds_d12N ds_d12R};
 107           g_aWU  ::
 108               PrelBase.Int{-3g,p-}
 109               -> PrelBase.Int{-3g,p-}
 110               -> (b{-aXa-}, PrelBase.Int{-3g,p-})
 111           {-# L #-}
 112           g_aWU =
 113               \ x_r3j  ::
 114                     PrelBase.Int{-3g,p-}
 115                 {-# L #-}
 116                 x_r3j y_r3l  ::
 117                           PrelBase.Int{-3g,p-}
 118                       {-# L #-}
 119                       y_r3l ->
 120                   let { ds_d13B  ::
 121                             b{-aXa-}
 122                         {-# L #-}
 123                         ds_d13B =
 124                     let {
 125                       ds_d13R  ::
 126                           (b{-aXa-}, PrelBase.Int{-3g,p-})
 127                       {-# L #-}
 128                       ds_d13R =
 129                           f_aWT
 130                               x_r3j y_r3l
 131                     } in
 132                       PrelTup.fst{-riN,p-}
 133                           _@_ PrelBase.Int{-3g,p-} _@_ b{-aXa-} ds_d13R
 134                   } in
 135                   let {
 136                     ds_d13F  ::
 137                         PrelBase.Int{-3g,p-}
 138                     {-# L #-}
 139                     ds_d13F =
 140                         +_aZQ
 141                             y_r3l lit_aZP
 142                   } in
 143                     PrelTup.(,){-62,p-}{i}
 144                         {_@_ b{-aXa-} _@_ PrelBase.Int{-3g,p-} ds_d13B ds_d13F};
 145         } in
 146           PrelTup.(,){-62,p-}{i}
 147               {_@_ (PrelBase.Int{-3g,p-}
 148                     -> PrelBase.Int{-3g,p-}
 149                     -> (b{-aXa-}, PrelBase.Int{-3g,p-}))
 150                _@_ (PrelBase.Int{-3g,p-}
 151                     -> PrelBase.Int{-3g,p-}
 152                     -> (b{-aXa-}, PrelBase.Int{-3g,p-}))
 153                f_aWT
 154                g_aWU}
 155 f{-r3o,x-}  ::
 156     _forall_
 157     [b{-aXa-}]
 158     =>
 159     PrelBase.Int{-3g,p-}
 160     -> PrelBase.Int{-3g,p-}
 161     -> (b{-aXa-}, PrelBase.Int{-3g,p-})
 162 {-# L #-}
 163 f{-r3o,x-} =
 164     _/\_ b{-aXa-} ->
 165         case
 166             ds_d11F
 167                 _@_ b{-aXa-}
 168         of {
 169         PrelTup.(,){-62,p-}{i} ds_d14B ds_d14C  ->
 170         ds_d14B;}
 171 g{-r3n,x-}  ::
 172     _forall_
 173     [b{-aXa-}]
 174     =>
 175     PrelBase.Int{-3g,p-}
 176     -> PrelBase.Int{-3g,p-}
 177     -> (b{-aXa-}, PrelBase.Int{-3g,p-})
 178 {-# L #-}
 179 g{-r3n,x-} =
 180     _/\_ b{-aXa-} ->
 181         case
 182             ds_d11F
 183                 _@_ b{-aXa-}
 184         of {
 185         PrelTup.(,){-62,p-}{i} ds_d14S ds_d14R  ->
 186         ds_d14R;}
 187 end Rec }
 188
 189 NOTE: Simplifier still going after 4 iterations; bailing out.