ghc/compiler/tests/deSugar/ds031.stderr

   1 ds031.hs:4:
   2     Warning: Possibly incomplete patterns
   3         in the definition of function `foldPair'
   4
   5
   6 ================================================================================
   7 Desugared:
   8 Rec {
   9 foldPair{-r3f,x-}  ::
  10     _forall_
  11     [a{-aB1-} b{-aB2-}]
  12     =>
  13     (a{-aB1-} -> a{-aB1-} -> a{-aB1-}, b{-aB2-}
  14                                        -> b{-aB2-}
  15                                        -> b{-aB2-})
  16     -> (a{-aB1-}, b{-aB2-})
  17     -> [(a{-aB1-}, b{-aB2-})]
  18     -> (a{-aB1-}, b{-aB2-})
  19 {-# L #-}
  20 foldPair{-r3f,x-} =
  21     _/\_ a{-aB1-} b{-aB2-} ->
  22         _letrec_ {
  23           foldPair_aAY  ::
  24               (a{-aB1-} -> a{-aB1-} -> a{-aB1-}, b{-aB2-}
  25                                                  -> b{-aB2-}
  26                                                  -> b{-aB2-})
  27               -> (a{-aB1-}, b{-aB2-})
  28               -> [(a{-aB1-}, b{-aB2-})]
  29               -> (a{-aB1-}, b{-aB2-})
  30           {-# L #-}
  31           foldPair_aAY =
  32               \ fg_r3h  ::
  33                     (a{-aB1-} -> a{-aB1-} -> a{-aB1-}, b{-aB2-}
  34                                                        -> b{-aB2-}
  35                                                        -> b{-aB2-})
  36                 {-# L #-}
  37                 fg_r3h ab_r3j  ::
  38                            (a{-aB1-}, b{-aB2-})
  39                        {-# L #-}
  40                        ab_r3j ds_dFz  ::
  41                                   [(a{-aB1-}, b{-aB2-})]
  42                               {-# L #-}
  43                               ds_dFz ->
  44                   let {
  45                     fail_dFA  ::
  46                         (a{-aB1-}, b{-aB2-})
  47                     {-# L #-}
  48                     fail_dFA =
  49                         GHCerr.patError{-8r,p-}
  50                             _@_ (a{-aB1-}, b{-aB2-})
  51                             _string_ "ds031.hs:4|function `foldPair'" } in
  52                   let {
  53                     fail_dHs  ::
  54                         (a{-aB1-}, b{-aB2-})
  55                     {-# L #-}
  56                     fail_dHs =
  57                         case fg_r3h of { PrelTup.(,){-62,p-}{i} f_r3n g_r3o  ->
  58                         case ds_dFz of {
  59                           PrelBase.[]{-5i,p-}{i} ->
  60                               fail_dFA;
  61                           PrelBase.:{-55,p-}{i} ds_dFV abs_r3u ->
  62                               case ds_dFV of { PrelTup.(,){-62,p-}{i} a_r3s b_r3t  ->
  63                               let {
  64                                 ab_r3q  ::
  65                                     (a{-aB1-}, b{-aB2-})
  66                                 {-# L #-}
  67                                 ab_r3q =
  68                                     ab_r3j } in
  69                               let {
  70                                 fg_r3m  ::
  71                                     (a{-aB1-} -> a{-aB1-} -> a{-aB1-}, b{-aB2-}
  72                                                                        -> b{-aB2-}
  73                                                                        -> b{-aB2-})
  74                                 {-# L #-}
  75                                 fg_r3m =
  76                                     fg_r3h } in
  77                               let {
  78                                 ds_dGR  ::
  79                                     (a{-aB1-}, b{-aB2-})
  80                                 {-# L #-}
  81                                 ds_dGR =
  82                                     foldPair{-r3f,x-}
  83                                         _@_ a{-aB1-} _@_ b{-aB2-} fg_r3m ab_r3q abs_r3u } in
  84                               let {
  85                                 u_aBw  ::
  86                                     a{-aB1-}
  87                                 {-# L #-}
  88                                 u_aBw =
  89                                     case ds_dGR of { PrelTup.(,){-62,p-}{i} u_aBw v_aBx  ->
  90                                     u_aBw;} } in
  91                               let {
  92                                 v_aBx  ::
  93                                     b{-aB2-}
  94                                 {-# L #-}
  95                                 v_aBx =
  96                                     case ds_dGR of { PrelTup.(,){-62,p-}{i} u_aBw v_aBx  ->
  97                                     v_aBx;} } in
  98                               let {
  99                                 u_r3w  ::
 100                                     a{-aB1-}
 101                                 {-# L #-}
 102                                 u_r3w =
 103                                     u_aBw } in
 104                               let {
 105                                 v_r3x  ::
 106                                     b{-aB2-}
 107                                 {-# L #-}
 108                                 v_r3x =
 109                                     v_aBx } in
 110                               let {
 111                                 ds_dGq  ::
 112                                     a{-aB1-}
 113                                 {-# L #-}
 114                                 ds_dGq =
 115                                     f_r3n
 116                                         a_r3s u_r3w } in
 117                               let {
 118                                 ds_dGu  ::
 119                                     b{-aB2-}
 120                                 {-# L #-}
 121                                 ds_dGu =
 122                                     g_r3o
 123                                         b_r3t v_r3x
 124                               } in
 125                                 PrelTup.(,){-62,p-}{i}
 126                                     {_@_ a{-aB1-} _@_ b{-aB2-} ds_dGq ds_dGu};};
 127                         };}
 128                   } in
 129                     case ds_dFz of {
 130                       PrelBase.:{-55,p-}{i} ds_dHA ds_dHz ->
 131                           fail_dHs;
 132                       PrelBase.[]{-5i,p-}{i} ->
 133                           ab_r3j;
 134                     };
 135         } in
 136           foldPair_aAY
 137 end Rec }