ghc/tests/deSugar/should_compile/ds005.stderr

   1 ds005.hs:13:
   2     Warning: Possibly incomplete patterns
   3         in the definition of function `mappairs''
   4
   5
   6 ================================================================================
   7 Desugared:
   8 Rec {
   9 mappairs'{-r3O,x-}  ::
  10     _forall_
  11     [t{-anl-} t{-anv-} t{-anx-}]
  12     =>
  13     (t{-anl-} -> t{-anv-} -> t{-anx-})
  14     -> [t{-anl-}]
  15     -> [t{-anv-}]
  16     -> [t{-anx-}]
  17 {-# L #-}
  18 mappairs'{-r3O,x-} =
  19     _/\_ t{-anl-} t{-anv-} t{-anx-} ->
  20         _letrec_ {
  21           mappairs'_anf  ::
  22               (t{-anl-} -> t{-anv-} -> t{-anx-})
  23               -> [t{-anl-}]
  24               -> [t{-anv-}]
  25               -> [t{-anx-}]
  26           {-# L #-}
  27           mappairs'_anf =
  28               \ f_r3x  ::
  29                     t{-anl-} -> t{-anv-} -> t{-anx-}
  30                 {-# L #-}
  31                 f_r3x ds_duS  ::
  32                           [t{-anl-}]
  33                       {-# L #-}
  34                       ds_duS ys_r3A  ::
  35                                  [t{-anv-}]
  36                              {-# L #-}
  37                              ys_r3A ->
  38                   let {
  39                     fail_duT  ::
  40                         [t{-anx-}]
  41                     {-# L #-}
  42                     fail_duT =
  43                         GHCerr.patError{-8r,p-}
  44                             _@_ [t{-anx-}] _string_ "ds005.hs:13|function `mappairs''" } in
  45                   let { fail_dwj  ::
  46                             [t{-anx-}]
  47                         {-# L #-}
  48                         fail_dwj =
  49                     let {
  50                       fail_dvV  ::
  51                           [t{-anx-}]
  52                       {-# L #-}
  53                       fail_dvV =
  54                           case ds_duS of {
  55                             PrelBase.[]{-5i,p-}{i} ->
  56                                 fail_duT;
  57                             PrelBase.:{-55,p-}{i} x_r3J xs_r3K ->
  58                                 case ys_r3A of {
  59                                   PrelBase.[]{-5i,p-}{i} ->
  60                                       fail_duT;
  61                                   PrelBase.:{-55,p-}{i} y_r3M ys_r3N ->
  62                                       let {
  63                                         f_r3H  ::
  64                                             t{-anl-} -> t{-anv-} -> t{-anx-}
  65                                         {-# L #-}
  66                                         f_r3H =
  67                                             f_r3x } in
  68                                       let {
  69                                         ds_dvr  ::
  70                                             t{-anx-}
  71                                         {-# L #-}
  72                                         ds_dvr =
  73                                             f_r3H
  74                                                 x_r3J y_r3M } in
  75                                       let {
  76                                         ds_dvv  ::
  77                                             [t{-anx-}]
  78                                         {-# L #-}
  79                                         ds_dvv =
  80                                             mappairs'_anf
  81                                                 f_r3H xs_r3K ys_r3N
  82                                       } in
  83                                         PrelBase.:{-55,p-}{i}
  84                                             _@_ t{-anx-} ds_dvr ds_dvv;
  85                                 };
  86                           }
  87                     } in
  88                       case ys_r3A of {
  89                         PrelBase.:{-55,p-}{i} ds_dw3 ds_dw2 ->
  90                             fail_dvV;
  91                         PrelBase.[]{-5i,p-}{i} ->
  92                             let {
  93                               x_r3E  ::
  94                                   [t{-anl-}]
  95                               {-# L #-}
  96                               x_r3E =
  97                                   ds_duS } in
  98                             let {
  99                               f_r3C  ::
 100                                   t{-anl-} -> t{-anv-} -> t{-anx-}
 101                               {-# L #-}
 102                               f_r3C =
 103                                   f_r3x
 104                             } in
 105                               PrelBase.[]{-5i,p-}{i}
 106                                   _@_ t{-anx-};
 107                       }
 108                   } in
 109                   case ds_duS of {
 110                     PrelBase.:{-55,p-}{i} ds_dwr ds_dwq ->
 111                         fail_dwj;
 112                     PrelBase.[]{-5i,p-}{i} ->
 113                         PrelBase.[]{-5i,p-}{i}
 114                             _@_ t{-anx-};
 115                   };
 116         } in
 117           mappairs'_anf
 118 end Rec }
 119 Rec {
 120 mappairs{-r3P,x-}  ::
 121     _forall_
 122     [t{-aoc-} t{-aoh-} t{-aoj-}]
 123     =>
 124     (t{-aoc-} -> t{-aoh-} -> t{-aoj-})
 125     -> [t{-aoc-}]
 126     -> [t{-aoh-}]
 127     -> [t{-aoj-}]
 128 {-# L #-}
 129 mappairs{-r3P,x-} =
 130     _/\_ t{-aoc-} t{-aoh-} t{-aoj-} ->
 131         _letrec_ {
 132           mappairs_anX  ::
 133               (t{-aoc-} -> t{-aoh-} -> t{-aoj-})
 134               -> [t{-aoc-}]
 135               -> [t{-aoh-}]
 136               -> [t{-aoj-}]
 137           {-# L #-}
 138           mappairs_anX =
 139               \ f_r3e  ::
 140                     t{-aoc-} -> t{-aoh-} -> t{-aoj-}
 141                 {-# L #-}
 142                 f_r3e ds_dx4  ::
 143                           [t{-aoc-}]
 144                       {-# L #-}
 145                       ds_dx4 ys_r3h  ::
 146                                  [t{-aoh-}]
 147                              {-# L #-}
 148                              ys_r3h ->
 149                   case ds_dx4 of {
 150                     PrelBase.[]{-5i,p-}{i} ->
 151                         PrelBase.[]{-5i,p-}{i}
 152                             _@_ t{-aoj-};
 153                     PrelBase.:{-55,p-}{i} x_r3l xs_r3m ->
 154                         case ys_r3h of {
 155                           PrelBase.[]{-5i,p-}{i} ->
 156                               let {
 157                                 f_r3j  ::
 158                                     t{-aoc-} -> t{-aoh-} -> t{-aoj-}
 159                                 {-# L #-}
 160                                 f_r3j =
 161                                     f_r3e
 162                               } in
 163                                 PrelBase.[]{-5i,p-}{i}
 164                                     _@_ t{-aoj-};
 165                           PrelBase.:{-55,p-}{i} y_r3u ys_r3v ->
 166                               let {
 167                                 xs_r3s  ::
 168                                     [t{-aoc-}]
 169                                 {-# L #-}
 170                                 xs_r3s =
 171                                     xs_r3m } in
 172                               let {
 173                                 x_r3r  ::
 174                                     t{-aoc-}
 175                                 {-# L #-}
 176                                 x_r3r =
 177                                     x_r3l } in
 178                               let {
 179                                 f_r3p  ::
 180                                     t{-aoc-} -> t{-aoh-} -> t{-aoj-}
 181                                 {-# L #-}
 182                                 f_r3p =
 183                                     f_r3e } in
 184                               let {
 185                                 ds_dxR  ::
 186                                     t{-aoj-}
 187                                 {-# L #-}
 188                                 ds_dxR =
 189                                     f_r3p
 190                                         x_r3r y_r3u } in
 191                               let {
 192                                 ds_dxV  ::
 193                                     [t{-aoj-}]
 194                                 {-# L #-}
 195                                 ds_dxV =
 196                                     mappairs_anX
 197                                         f_r3p xs_r3s ys_r3v
 198                               } in
 199                                 PrelBase.:{-55,p-}{i}
 200                                     _@_ t{-aoj-} ds_dxR ds_dxV;
 201                         };
 202                   };
 203         } in
 204           mappairs_anX
 205 end Rec }