ghc/tests/deSugar/should_compile/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-}  ::  _forall_
  10                        [tayn tayo]
  11                        =>
  12                        (tayn -> tayn -> tayn, tayo -> tayo -> tayo)
  13                        -> (tayn, tayo)
  14                        -> [(tayn, tayo)]
  15                        -> (tayn, tayo)
  16 {-# L #-}
  17 foldPair{-r3f,x-} =
  18     _/\_ tayn tayo ->
  19         _letrec_ {
  20           foldPair_ayk  ::  (tayn -> tayn -> tayn, tayo -> tayo -> tayo)
  21                             -> (tayn, tayo)
  22                             -> [(tayn, tayo)]
  23                             -> (tayn, tayo)
  24           {-# L #-}
  25           foldPair_ayk =
  26               \ fg_r3h  ::  (tayn -> tayn -> tayn, tayo -> tayo -> tayo)
  27                 {-# L #-}
  28                 fg_r3h ab_r3i  ::  (tayn, tayo)
  29                        {-# L #-}
  30                        ab_r3i ds_dDb  ::  [(tayn, tayo)]
  31                               {-# L #-}
  32                               ds_dDb ->
  33                   let {
  34                     fail_dDc  ::  (tayn, tayo)
  35                     {-# L #-}
  36                     fail_dDc =
  37                         GHCerr.patError{-8r,w-}
  38                             _@_ (tayn, tayo) _string_ "ds031.hs:4|function `foldPair'" } in
  39                   let {
  40                     fail_dF4  ::  (tayn, tayo)
  41                     {-# L #-}
  42                     fail_dF4 =
  43                         case fg_r3h of { PrelTup.(,){-62,w-}{i} f_r3l g_r3m  ->
  44                         case ds_dDb of {
  45                           PrelBase.[]{-5i,w-}{i} -> fail_dDc;
  46                           PrelBase.:{-55,w-}{i} ds_dDx abs_r3q ->
  47                               case ds_dDx of { PrelTup.(,){-62,w-}{i} a_r3o b_r3p  ->
  48                               let {
  49                                 ab_r3n  ::  (tayn, tayo)
  50                                 {-# L #-}
  51                                 ab_r3n =
  52                                     ab_r3i } in
  53                               let {
  54                                 fg_r3k  ::  (tayn -> tayn -> tayn, tayo -> tayo -> tayo)
  55                                 {-# L #-}
  56                                 fg_r3k =
  57                                     fg_r3h } in
  58                               let {
  59                                 ds_dEt  ::  (tayn, tayo)
  60                                 {-# L #-}
  61                                 ds_dEt =
  62                                     foldPair{-r3f,x-} _@_ tayn _@_ tayo fg_r3k ab_r3n abs_r3q } in
  63                               let {
  64                                 u_ayS  ::  tayn
  65                                 {-# L #-}
  66                                 u_ayS =
  67                                     case ds_dEt of { PrelTup.(,){-62,w-}{i} u_ayS v_ayT  ->
  68                                     u_ayS;} } in
  69                               let {
  70                                 v_ayT  ::  tayo
  71                                 {-# L #-}
  72                                 v_ayT =
  73                                     case ds_dEt of { PrelTup.(,){-62,w-}{i} u_ayS v_ayT  ->
  74                                     v_ayT;} } in
  75                               let {
  76                                 u_r3s  ::  tayn
  77                                 {-# L #-}
  78                                 u_r3s =
  79                                     u_ayS } in
  80                               let {
  81                                 v_r3t  ::  tayo
  82                                 {-# L #-}
  83                                 v_r3t =
  84                                     v_ayT } in
  85                               let {
  86                                 ds_dE2  ::  tayn
  87                                 {-# L #-}
  88                                 ds_dE2 =
  89                                     f_r3l a_r3o u_r3s } in
  90                               let {
  91                                 ds_dE6  ::  tayo
  92                                 {-# L #-}
  93                                 ds_dE6 =
  94                                     g_r3m b_r3p v_r3t
  95                               } in  PrelTup.(,){-62,w-}{i} {_@_ tayn _@_ tayo ds_dE2 ds_dE6};};
  96                         };}
  97                   } in
  98                     case ds_dDb of {
  99                       PrelBase.:{-55,w-}{i} ds_dFb ds_dFc -> fail_dF4;
 100                       PrelBase.[]{-5i,w-}{i} -> ab_r3i;
 101                     };
 102         } in  foldPair_ayk
 103 end Rec }