ghc/compiler/tests/deSugar/ds016.stderr

   1
   2
   3 ================================================================================
   4 Desugared:
   5 Rec {
   6 d.MonadPlus_aXs  ::
   7     {PrelBase.MonadPlus{-2a,p-} PrelBase.[]{-3j,p-}}
   8 {-# L #-}
   9 d.MonadPlus_aXs =
  10     PrelBase.$d22{-rp7,p-}
  11 ++_aYK  ::
  12     _forall_
  13     [rjy{-aWo-}]
  14     =>
  15     [rjy{-aWo-}] -> [rjy{-aWo-}] -> [rjy{-aWo-}]
  16 {-# L #-}
  17 ++_aYK =
  18     PrelBase.++{-roG,p-}
  19         _@_ PrelBase.[]{-3j,p-} d.MonadPlus_aXs
  20 f{-r3t,x-}  ::
  21     _forall_
  22     [rjy{-aWN-} t{-aWT-} t{-aXo-}]
  23     =>
  24     [rjy{-aWN-}] -> t{-aXo-} -> [t{-aWT-}] -> [t{-aWT-}]
  25 {-# L #-}
  26 f{-r3t,x-} =
  27     _/\_ rjy{-aWN-} t{-aWT-} t{-aXo-} ->
  28         let {
  29           ++_aYM  ::
  30               _forall_
  31               [rjy{-aWw-}]
  32               =>
  33               [rjy{-aWw-}] -> [rjy{-aWw-}] -> [rjy{-aWw-}]
  34           {-# L #-}
  35           ++_aYM =
  36               ++_aYK } in
  37         let {
  38           ++_aYL  ::
  39               _forall_
  40               [rjy{-aWD-}]
  41               =>
  42               [rjy{-aWD-}] -> [rjy{-aWD-}] -> [rjy{-aWD-}]
  43           {-# L #-}
  44           ++_aYL =
  45               ++_aYK } in
  46         let {
  47           ++_aYJ  ::
  48               _forall_
  49               [rjy{-aWK-}]
  50               =>
  51               [rjy{-aWK-}] -> [rjy{-aWK-}] -> [rjy{-aWK-}]
  52           {-# L #-}
  53           ++_aYJ =
  54               ++_aYK
  55         } in
  56           \ x_r3d  ::
  57                 [rjy{-aWN-}]
  58             {-# L #-}
  59             x_r3d y_r3f  ::
  60                       t{-aXo-}
  61                   {-# L #-}
  62                   y_r3f z_r3h  ::
  63                             [t{-aWT-}]
  64                         {-# L #-}
  65                         z_r3h ->
  66               let { ds_d13I  ::
  67                         [rjy{-aWN-}]
  68                     {-# L #-}
  69                     ds_d13I =
  70                 let { ds_d131  ::
  71                           [rjy{-aWN-}]
  72                       {-# L #-}
  73                       ds_d131 =
  74                   let { ds_d13e  ::
  75                             [rjy{-aWN-}]
  76                         {-# L #-}
  77                         ds_d13e =
  78                     let {
  79                       ds_d13r  ::
  80                           [rjy{-aWN-}]
  81                       {-# L #-}
  82                       ds_d13r =
  83                           ++_aYJ
  84                               _@_ rjy{-aWN-} x_r3d x_r3d
  85                     } in
  86                       ++_aYL
  87                           _@_ rjy{-aWN-} x_r3d ds_d13r
  88                   } in
  89                   ++_aYM
  90                       _@_ rjy{-aWN-} x_r3d ds_d13e
  91                 } in
  92                 ++_aYK
  93                     _@_ rjy{-aWN-} x_r3d ds_d131
  94               } in
  95               case ds_d13I of {
  96                 PrelBase.[]{-5i,p-}{i} ->
  97                     PrelBase.[]{-5i,p-}{i}
  98                         _@_ t{-aWT-};
  99                 PrelBase.:{-55,p-}{i} a_r3k ds_d140 ->
 100                     let { fail_d14E  ::
 101                               [t{-aWT-}]
 102                           {-# L #-}
 103                           fail_d14E =
 104                       let {
 105                         bs_r3s  ::
 106                             [rjy{-aWN-}]
 107                         {-# L #-}
 108                         bs_r3s =
 109                             ds_d140 } in
 110                       let {
 111                         a_r3r  ::
 112                             rjy{-aWN-}
 113                         {-# L #-}
 114                         a_r3r =
 115                             a_r3k } in
 116                       let { ds_d14d  ::
 117                                 [PrelBase.Char{-38,p-}]
 118                             {-# L #-}
 119                             ds_d14d =
 120                         let {
 121                           ds_d14q  ::
 122                               PrelBase.Char{-38,p-}
 123                           {-# L #-}
 124                           ds_d14q =
 125                               PrelBase.C#{-54,p-}{i}
 126                                   {'4'} } in
 127                         let {
 128                           ds_d14u  ::
 129                               [PrelBase.Char{-38,p-}]
 130                           {-# L #-}
 131                           ds_d14u =
 132                               PrelBase.[]{-5i,p-}{i}
 133                                   {_@_ PrelBase.Char{-38,p-}}
 134                         } in
 135                           PrelBase.:{-55,p-}{i}
 136                               {_@_ PrelBase.Char{-38,p-} ds_d14q ds_d14u}
 137                       } in
 138                       IOBase.error{-87,p-}
 139                           _@_ [t{-aWT-}] ds_d14d
 140                     } in
 141                     case ds_d140 of {
 142                       PrelBase.[]{-5i,p-}{i} ->
 143                           let { ds_d14S  ::
 144                                     [PrelBase.Char{-38,p-}]
 145                                 {-# L #-}
 146                                 ds_d14S =
 147                             let {
 148                               ds_d153  ::
 149                                   PrelBase.Char{-38,p-}
 150                               {-# L #-}
 151                               ds_d153 =
 152                                   PrelBase.C#{-54,p-}{i}
 153                                       {'2'} } in
 154                             let {
 155                               ds_d157  ::
 156                                   [PrelBase.Char{-38,p-}]
 157                               {-# L #-}
 158                               ds_d157 =
 159                                   PrelBase.[]{-5i,p-}{i}
 160                                       {_@_ PrelBase.Char{-38,p-}}
 161                             } in
 162                               PrelBase.:{-55,p-}{i}
 163                                   {_@_ PrelBase.Char{-38,p-} ds_d153 ds_d157}
 164                           } in
 165                           IOBase.error{-87,p-}
 166                               _@_ [t{-aWT-}] ds_d14S;
 167                       PrelBase.:{-55,p-}{i} b_r3n ds_d15m ->
 168                           case ds_d15m of {
 169                             PrelBase.[]{-5i,p-}{i} ->
 170                                 fail_d14E;
 171                             PrelBase.:{-55,p-}{i} c_r3o ds_d15z ->
 172                                 case ds_d15z of {
 173                                   PrelBase.:{-55,p-}{i} ds_d15H ds_d15G ->
 174                                       fail_d14E;
 175                                   PrelBase.[]{-5i,p-}{i} ->
 176                                       let {
 177                                         a_r3m  ::
 178                                             rjy{-aWN-}
 179                                         {-# L #-}
 180                                         a_r3m =
 181                                             a_r3k } in
 182                                       let {
 183                                         ds_d15Q  ::
 184                                             (t{-aXo-}, [t{-aWT-}], t{-aXo-}, [t{-aWT-}])
 185                                         {-# L #-}
 186                                         ds_d15Q =
 187                                             PrelTup.(,,,){-64,p-}{i}
 188                                                 {_@_ t{-aXo-}
 189                                                  _@_ [t{-aWT-}]
 190                                                  _@_ t{-aXo-}
 191                                                  _@_ [t{-aWT-}]
 192                                                  y_r3f
 193                                                  z_r3h
 194                                                  y_r3f
 195                                                  z_r3h}
 196                                       } in
 197                                         z_r3h;
 198                                 };
 199                           };
 200                     };
 201               }
 202 end Rec }