ghc/tests/deSugar/should_compile/ds016.stderr

   1
   2
   3 ================================================================================
   4 Desugared:
   5 Rec {
   6 f{-r3r,x-}  ::  _forall_
   7                 [taRl taRH taRP]
   8                 =>
   9                 [taRP] -> taRH -> [taRl] -> [taRl]
  10 {-# L #-}
  11 f{-r3r,x-} =
  12     _/\_ taRl taRH taRP ->
  13         _letrec_ {
  14           ++_aTa  ::  _forall_ [taQZ] => [taQZ] -> [taQZ] -> [taQZ]
  15           {-# L #-}
  16           ++_aTa =
  17               ++_aTb;
  18           ++_aT9  ::  _forall_ [taR6] => [taR6] -> [taR6] -> [taR6]
  19           {-# L #-}
  20           ++_aT9 =
  21               ++_aTb;
  22           ++_aTc  ::  _forall_ [taRd] => [taRd] -> [taRd] -> [taRd]
  23           {-# L #-}
  24           ++_aTc =
  25               ++_aTb;
  26           f_aQw  ::  [taRP] -> taRH -> [taRl] -> [taRl]
  27           {-# L #-}
  28           f_aQw =
  29               \ x_r3d  ::  [taRP]
  30                 {-# L #-}
  31                 x_r3d y_r3e  ::  taRH
  32                       {-# L #-}
  33                       y_r3e z_r3f  ::  [taRl]
  34                             {-# L #-}
  35                             z_r3f ->
  36                   let { ds_dYt  ::  [taRP]
  37                         {-# L #-}
  38                         ds_dYt =
  39                     let { ds_dXM  ::  [taRP]
  40                           {-# L #-}
  41                           ds_dXM =
  42                       let { ds_dXZ  ::  [taRP]
  43                             {-# L #-}
  44                             ds_dXZ =
  45                         let {
  46                           ds_dYc  ::  [taRP]
  47                           {-# L #-}
  48                           ds_dYc =
  49                               ++_aTc _@_ taRP x_r3d x_r3d
  50                         } in  ++_aT9 _@_ taRP x_r3d ds_dYc
  51                       } in
  52                       ++_aTa _@_ taRP x_r3d ds_dXZ
  53                     } in
  54                     ++_aTb _@_ taRP x_r3d ds_dXM
  55                   } in
  56                   case ds_dYt of {
  57                     PrelBase.[]{-5i,w-}{i} -> PrelBase.[]{-5i,w-}{i} _@_ taRl;
  58                     PrelBase.:{-55,w-}{i} a_r3i ds_dYL ->
  59                         let { fail_dZp  ::  [taRl]
  60                               {-# L #-}
  61                               fail_dZp =
  62                           let {
  63                             bs_r3q  ::  [taRP]
  64                             {-# L #-}
  65                             bs_r3q =
  66                                 ds_dYL } in
  67                           let {
  68                             a_r3p  ::  taRP
  69                             {-# L #-}
  70                             a_r3p =
  71                                 a_r3i } in
  72                           let { ds_dYY  ::  [PrelBase.Char{-38,W-}]
  73                                 {-# L #-}
  74                                 ds_dYY =
  75                             let {
  76                               ds_dZb  ::  PrelBase.Char{-38,W-}
  77                               {-# L #-}
  78                               ds_dZb =
  79                                   PrelBase.C#{-54,w-}{i} {'4'} } in
  80                             let {
  81                               ds_dZf  ::  [PrelBase.Char{-38,W-}]
  82                               {-# L #-}
  83                               ds_dZf =
  84                                   PrelBase.[]{-5i,w-}{i} {_@_ PrelBase.Char{-38,W-}}
  85                             } in
  86                               PrelBase.:{-55,w-}{i} {_@_ PrelBase.Char{-38,W-} ds_dZb ds_dZf}
  87                           } in
  88                           IOBase.error{-87,w-} _@_ [taRl] ds_dYY
  89                         } in
  90                         case ds_dYL of {
  91                           PrelBase.[]{-5i,w-}{i} ->
  92                               let { ds_dZD  ::  [PrelBase.Char{-38,W-}]
  93                                     {-# L #-}
  94                                     ds_dZD =
  95                                 let {
  96                                   ds_dZO  ::  PrelBase.Char{-38,W-}
  97                                   {-# L #-}
  98                                   ds_dZO =
  99                                       PrelBase.C#{-54,w-}{i} {'2'} } in
 100                                 let {
 101                                   ds_dZS  ::  [PrelBase.Char{-38,W-}]
 102                                   {-# L #-}
 103                                   ds_dZS =
 104                                       PrelBase.[]{-5i,w-}{i} {_@_ PrelBase.Char{-38,W-}}
 105                                 } in
 106                                   PrelBase.:{-55,w-}{i} {_@_ PrelBase.Char{-38,W-} ds_dZO ds_dZS}
 107                               } in
 108                               IOBase.error{-87,w-} _@_ [taRl] ds_dZD;
 109                           PrelBase.:{-55,w-}{i} b_r3l ds_d107 ->
 110                               case ds_d107 of {
 111                                 PrelBase.[]{-5i,w-}{i} -> fail_dZp;
 112                                 PrelBase.:{-55,w-}{i} c_r3m ds_d10k ->
 113                                     case ds_d10k of {
 114                                       PrelBase.:{-55,w-}{i} ds_d10r ds_d10s -> fail_dZp;
 115                                       PrelBase.[]{-5i,w-}{i} ->
 116                                           let {
 117                                             a_r3k  ::  taRP
 118                                             {-# L #-}
 119                                             a_r3k =
 120                                                 a_r3i } in
 121                                           let {
 122                                             ds_d10B  ::  (taRH, [taRl], taRH, [taRl])
 123                                             {-# L #-}
 124                                             ds_d10B =
 125                                                 PrelTup.(,,,){-64,w-}{i}
 126                                                     {_@_ taRH
 127                                                      _@_ [taRl]
 128                                                      _@_ taRH
 129                                                      _@_ [taRl]
 130                                                      y_r3e
 131                                                      z_r3f
 132                                                      y_r3e
 133                                                      z_r3f}
 134                                           } in  z_r3f;
 135                                     };
 136                               };
 137                         };
 138                   };
 139         } in  f_aQw
 140 d.MonadPlus_aRX  ::  {PrelBase.MonadPlus{-2a,p-} PrelBase.[]{-3j,W-}}
 141 {-# L #-}
 142 d.MonadPlus_aRX =
 143     PrelBase.$d23{-roi,p-}
 144 ++_aTb  ::  _forall_ [taQR] => [taQR] -> [taQR] -> [taQR]
 145 {-# L #-}
 146 ++_aTb =
 147     PrelBase.++{-rnQ,p-} _@_ PrelBase.[]{-3j,W-} d.MonadPlus_aRX
 148 end Rec }