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'{-r3C,x-}  ::  _forall_
  10                         [tal0 tal6 tala]
  11                         =>
  12                         (tal0 -> tal6 -> tala) -> [tal0] -> [tal6] -> [tala]
  13 {-# L #-}
  14 mappairs'{-r3C,x-} =
  15     _/\_ tal0 tal6 tala ->
  16         _letrec_ {
  17           mappairs'_akt  ::  (tal0 -> tal6 -> tala)
  18                              -> [tal0]
  19                              -> [tal6]
  20                              -> [tala]
  21           {-# L #-}
  22           mappairs'_akt =
  23               \ f_r3r  ::  tal0 -> tal6 -> tala
  24                 {-# L #-}
  25                 f_r3r ds_dsz  ::  [tal0]
  26                       {-# L #-}
  27                       ds_dsz ys_r3s  ::  [tal6]
  28                              {-# L #-}
  29                              ys_r3s ->
  30                   let {
  31                     fail_dsE  ::  [tala]
  32                     {-# L #-}
  33                     fail_dsE =
  34                         GHCerr.patError{-8r,w-}
  35                             _@_ [tala] _string_ "ds005.hs:13|function `mappairs''" } in
  36                   let { fail_du4  ::  [tala]
  37                         {-# L #-}
  38                         fail_du4 =
  39                     let {
  40                       fail_dtG  ::  [tala]
  41                       {-# L #-}
  42                       fail_dtG =
  43                           case ds_dsz of {
  44                             PrelBase.[]{-5i,w-}{i} -> fail_dsE;
  45                             PrelBase.:{-55,w-}{i} x_r3y xs_r3z ->
  46                                 case ys_r3s of {
  47                                   PrelBase.[]{-5i,w-}{i} -> fail_dsE;
  48                                   PrelBase.:{-55,w-}{i} y_r3A ys_r3B ->
  49                                       let {
  50                                         f_r3x  ::  tal0 -> tal6 -> tala
  51                                         {-# L #-}
  52                                         f_r3x =
  53                                             f_r3r } in
  54                                       let {
  55                                         ds_dtc  ::  tala
  56                                         {-# L #-}
  57                                         ds_dtc =
  58                                             f_r3x x_r3y y_r3A } in
  59                                       let {
  60                                         ds_dtg  ::  [tala]
  61                                         {-# L #-}
  62                                         ds_dtg =
  63                                             mappairs'_akt f_r3x xs_r3z ys_r3B
  64                                       } in  PrelBase.:{-55,w-}{i} _@_ tala ds_dtc ds_dtg;
  65                                 };
  66                           }
  67                     } in
  68                       case ys_r3s of {
  69                         PrelBase.:{-55,w-}{i} ds_dtN ds_dtO -> fail_dtG;
  70                         PrelBase.[]{-5i,w-}{i} ->
  71                             let {
  72                               x_r3v  ::  [tal0]
  73                               {-# L #-}
  74                               x_r3v =
  75                                   ds_dsz } in
  76                             let {
  77                               f_r3u  ::  tal0 -> tal6 -> tala
  78                               {-# L #-}
  79                               f_r3u =
  80                                   f_r3r
  81                             } in  PrelBase.[]{-5i,w-}{i} _@_ tala;
  82                       }
  83                   } in
  84                   case ds_dsz of {
  85                     PrelBase.:{-55,w-}{i} ds_dub ds_duc -> fail_du4;
  86                     PrelBase.[]{-5i,w-}{i} -> PrelBase.[]{-5i,w-}{i} _@_ tala;
  87                   };
  88         } in  mappairs'_akt
  89 mappairs{-r3D,x-}  ::  _forall_
  90                        [talU tam0 tam4]
  91                        =>
  92                        (talU -> tam0 -> tam4) -> [talU] -> [tam0] -> [tam4]
  93 {-# L #-}
  94 mappairs{-r3D,x-} =
  95     _/\_ talU tam0 tam4 ->
  96         _letrec_ {
  97           mappairs_alj  ::  (talU -> tam0 -> tam4)
  98                             -> [talU]
  99                             -> [tam0]
 100                             -> [tam4]
 101           {-# L #-}
 102           mappairs_alj =
 103               \ f_r3e  ::  talU -> tam0 -> tam4
 104                 {-# L #-}
 105                 f_r3e ds_duF  ::  [talU]
 106                       {-# L #-}
 107                       ds_duF ys_r3f  ::  [tam0]
 108                              {-# L #-}
 109                              ys_r3f ->
 110                   case ds_duF of {
 111                     PrelBase.[]{-5i,w-}{i} -> PrelBase.[]{-5i,w-}{i} _@_ tam4;
 112                     PrelBase.:{-55,w-}{i} x_r3i xs_r3j ->
 113                         case ys_r3f of {
 114                           PrelBase.[]{-5i,w-}{i} ->
 115                               let {
 116                                 f_r3h  ::  talU -> tam0 -> tam4
 117                                 {-# L #-}
 118                                 f_r3h =
 119                                     f_r3e
 120                               } in  PrelBase.[]{-5i,w-}{i} _@_ tam4;
 121                           PrelBase.:{-55,w-}{i} y_r3o ys_r3p ->
 122                               let {
 123                                 xs_r3n  ::  [talU]
 124                                 {-# L #-}
 125                                 xs_r3n =
 126                                     xs_r3j } in
 127                               let {
 128                                 x_r3m  ::  talU
 129                                 {-# L #-}
 130                                 x_r3m =
 131                                     x_r3i } in
 132                               let {
 133                                 f_r3l  ::  talU -> tam0 -> tam4
 134                                 {-# L #-}
 135                                 f_r3l =
 136                                     f_r3e } in
 137                               let {
 138                                 ds_dvs  ::  tam4
 139                                 {-# L #-}
 140                                 ds_dvs =
 141                                     f_r3l x_r3m y_r3o } in
 142                               let {
 143                                 ds_dvw  ::  [tam4]
 144                                 {-# L #-}
 145                                 ds_dvw =
 146                                     mappairs_alj f_r3l xs_r3n ys_r3p
 147                               } in  PrelBase.:{-55,w-}{i} _@_ tam4 ds_dvs ds_dvw;
 148                         };
 149                   };
 150         } in  mappairs_alj
 151 end Rec }