ghc/compiler/tests/deSugar/ds033.stderr

   1
   2
   3 ================================================================================
   4 Desugared:
   5 Rec {
   6 ds_dsc  ::
   7     _forall_
   8     [t{-anl-} t{-ann-}]
   9     =>
  10     (t{-anl-} -> t{-ann-}, t{-anl-} -> t{-ann-})
  11 {-# L #-}
  12 ds_dsc =
  13     _/\_ t{-anl-} t{-ann-} ->
  14         _letrec_ {
  15           g4_an6  ::
  16               t{-anl-} -> t{-ann-}
  17           {-# L #-}
  18           g4_an6 =
  19               \ y_r3w  ::
  20                     t{-anl-}
  21                 {-# L #-}
  22                 y_r3w ->
  23                   f4_an7
  24                       y_r3w;
  25           f4_an7  ::
  26               t{-anl-} -> t{-ann-}
  27           {-# L #-}
  28           f4_an7 =
  29               \ x_r3y  ::
  30                     t{-anl-}
  31                 {-# L #-}
  32                 x_r3y ->
  33                   g4_an6
  34                       x_r3y;
  35         } in
  36           PrelTup.(,){-62,p-}{i}
  37               {_@_ (t{-anl-} -> t{-ann-})
  38                _@_ (t{-anl-} -> t{-ann-})
  39                g4_an6
  40                f4_an7}
  41 g4{-r3A,x-}  ::
  42     _forall_ [t{-anl-} t{-ann-}] => t{-anl-} -> t{-ann-}
  43 {-# L #-}
  44 g4{-r3A,x-} =
  45     _/\_ t{-anl-} t{-ann-} ->
  46         case
  47             ds_dsc
  48                 _@_ t{-anl-} _@_ t{-ann-}
  49         of {
  50         PrelTup.(,){-62,p-}{i} ds_dth ds_dti  ->
  51         ds_dth;}
  52 f4{-r3z,x-}  ::
  53     _forall_ [t{-anl-} t{-ann-}] => t{-anl-} -> t{-ann-}
  54 {-# L #-}
  55 f4{-r3z,x-} =
  56     _/\_ t{-anl-} t{-ann-} ->
  57         case
  58             ds_dsc
  59                 _@_ t{-anl-} _@_ t{-ann-}
  60         of {
  61         PrelTup.(,){-62,p-}{i} ds_dtB ds_dtA  ->
  62         ds_dtA;}
  63 end Rec }
  64 Rec {
  65 ds_dtM  ::
  66     _forall_
  67     [t{-anE-} t{-anG-}]
  68     =>
  69     (t{-anE-} -> t{-anG-}, t{-anE-} -> t{-anG-})
  70 {-# L #-}
  71 ds_dtM =
  72     _/\_ t{-anE-} t{-anG-} ->
  73         _letrec_ {
  74           f3_anp  ::
  75               t{-anE-} -> t{-anG-}
  76           {-# L #-}
  77           f3_anp =
  78               \ x_r3s  ::
  79                     t{-anE-}
  80                 {-# L #-}
  81                 x_r3s ->
  82                   g3_anq
  83                       x_r3s;
  84           g3_anq  ::
  85               t{-anE-} -> t{-anG-}
  86           {-# L #-}
  87           g3_anq =
  88               \ y_r3u  ::
  89                     t{-anE-}
  90                 {-# L #-}
  91                 y_r3u ->
  92                   f3_anp
  93                       y_r3u;
  94         } in
  95           PrelTup.(,){-62,p-}{i}
  96               {_@_ (t{-anE-} -> t{-anG-})
  97                _@_ (t{-anE-} -> t{-anG-})
  98                f3_anp
  99                g3_anq}
 100 f3{-r3C,x-}  ::
 101     _forall_ [t{-anE-} t{-anG-}] => t{-anE-} -> t{-anG-}
 102 {-# L #-}
 103 f3{-r3C,x-} =
 104     _/\_ t{-anE-} t{-anG-} ->
 105         case
 106             ds_dtM
 107                 _@_ t{-anE-} _@_ t{-anG-}
 108         of {
 109         PrelTup.(,){-62,p-}{i} ds_duR ds_duS  ->
 110         ds_duR;}
 111 g3{-r3B,x-}  ::
 112     _forall_ [t{-anE-} t{-anG-}] => t{-anE-} -> t{-anG-}
 113 {-# L #-}
 114 g3{-r3B,x-} =
 115     _/\_ t{-anE-} t{-anG-} ->
 116         case
 117             ds_dtM
 118                 _@_ t{-anE-} _@_ t{-anG-}
 119         of {
 120         PrelTup.(,){-62,p-}{i} ds_dvb ds_dva  ->
 121         ds_dva;}
 122 end Rec }
 123 g2{-r3E,x-}  ::
 124     _forall_ [t{-anO-}] => t{-anO-} -> t{-anO-}
 125 {-# L #-}
 126 g2{-r3E,x-} =
 127     _/\_ t{-anO-} -> \ y_r3o  ::
 128                            t{-anO-}
 129                        {-# L #-}
 130                        y_r3o ->
 131         y_r3o
 132 f2{-r3D,x-}  ::
 133     _forall_ [t{-anU-}] => t{-anU-} -> t{-anU-}
 134 {-# L #-}
 135 f2{-r3D,x-} =
 136     _/\_ t{-anU-} -> \ x_r3q  ::
 137                            t{-anU-}
 138                        {-# L #-}
 139                        x_r3q ->
 140         g2{-r3E,x-}
 141             _@_ t{-anU-} x_r3q
 142 g1{-r3F,x-}  ::
 143     _forall_ [t{-ao4-}] => t{-ao4-} -> t{-ao4-}
 144 {-# L #-}
 145 g1{-r3F,x-} =
 146     _/\_ t{-ao4-} -> \ y_r3m  ::
 147                            t{-ao4-}
 148                        {-# L #-}
 149                        y_r3m ->
 150         y_r3m
 151 f1{-r3G,x-}  ::
 152     _forall_ [t{-aoa-}] => t{-aoa-} -> t{-aoa-}
 153 {-# L #-}
 154 f1{-r3G,x-} =
 155     _/\_ t{-aoa-} -> \ x_r3k  ::
 156                            t{-aoa-}
 157                        {-# L #-}
 158                        x_r3k ->
 159         g1{-r3F,x-}
 160             _@_ t{-aoa-} x_r3k
 161
 162 NOTE: Simplifier still going after 4 iterations; bailing out.