ghc/tests/deSugar/should_compile/ds038.stderr

   1 ds038.hs:7:
   2     Warning: Possibly incomplete patterns
   3         in the definition of function `takeList'
   4
   5
   6 ================================================================================
   7 Desugared:
   8 Rec {
   9 takeList{-r3e,x-}  ::  _forall_
  10                        [taCy]
  11                        =>
  12                        PrelBase.Int{-3g,W-} -> [taCy] -> [taCy]
  13 {-# L #-}
  14 takeList{-r3e,x-} =
  15     _/\_ taCy ->
  16         _letrec_ {
  17           lit_aHX  ::  PrelBase.Int{-3g,W-}
  18           {-# L #-}
  19           lit_aHX =
  20               lit_aHZ;
  21           >=_aI4  ::  PrelBase.Int{-3g,W-}
  22                       -> PrelBase.Int{-3g,W-}
  23                       -> PrelBase.Bool{-34,W-}
  24           {-# L #-}
  25           >=_aI4 =
  26               >=_aI2;
  27           -_aI5  ::  PrelBase.Int{-3g,W-}
  28                      -> PrelBase.Int{-3g,W-}
  29                      -> PrelBase.Int{-3g,W-}
  30           {-# L #-}
  31           -_aI5 =
  32               -_aI3;
  33           takeList_aCs  ::  PrelBase.Int{-3g,W-} -> [taCy] -> [taCy]
  34           {-# L #-}
  35           takeList_aCs =
  36               \ ds_dJb  ::  PrelBase.Int{-3g,W-}
  37                 {-# L #-}
  38                 ds_dJb ds_dJo  ::  [taCy]
  39                        {-# L #-}
  40                        ds_dJo ->
  41                   let {
  42                     fail_dJp  ::  [taCy]
  43                     {-# L #-}
  44                     fail_dJp =
  45                         GHCerr.patError{-8r,w-}
  46                             _@_ [taCy] _string_ "ds038.hs:7|function `takeList'" } in
  47                   let {
  48                     fail_dKA  ::  [taCy]
  49                     {-# L #-}
  50                     fail_dKA =
  51                         case
  52                             (\ ds_dJi  ::  PrelBase.Int{-3g,W-}
  53                                {-# L #-}
  54                                ds_dJi ->
  55                                  >=_aI2 ds_dJi lit_aHZ)
  56                                 ds_dJb
  57                         of {
  58                           PrelBase.True{-5E,w-}{i} ->
  59                               let {
  60                                 n_r3h  ::  PrelBase.Int{-3g,W-}
  61                                 {-# L #-}
  62                                 n_r3h =
  63                                     (\ ds_dJJ  ::  PrelBase.Int{-3g,W-}
  64                                        {-# L #-}
  65                                        ds_dJJ ->
  66                                          -_aI3 ds_dJJ lit_aHZ)
  67                                         ds_dJb
  68                               } in
  69                                 case ds_dJo of {
  70                                   PrelBase.[]{-5i,w-}{i} -> PrelBase.[]{-5i,w-}{i} _@_ taCy;
  71                                   PrelBase.:{-55,w-}{i} x_r3k xs_r3l ->
  72                                       let {
  73                                         n_r3j  ::  PrelBase.Int{-3g,W-}
  74                                         {-# L #-}
  75                                         n_r3j =
  76                                             n_r3h } in
  77                                       let {
  78                                         ds_dKg  ::  [taCy]
  79                                         {-# L #-}
  80                                         ds_dKg =
  81                                             takeList{-r3e,x-} _@_ taCy n_r3j xs_r3l
  82                                       } in  PrelBase.:{-55,w-}{i} _@_ taCy x_r3k ds_dKg;
  83                                 };
  84                           PrelBase.False{-58,w-}{i} -> fail_dJp;
  85                         }
  86                   } in
  87                     case ds_dJb of { PrelBase.I#{-5b,w-}{i} ds_dKJ  ->
  88                     case# ds_dKJ of {
  89                       0 -> PrelBase.[]{-5i,w-}{i} _@_ taCy;
  90                       ds_dKW -> fail_dKA;
  91                     };};
  92         } in  takeList_aCs
  93 lit_aI0  ::  PrelBase.Int{-3g,W-}
  94 {-# L #-}
  95 lit_aI0 =
  96     PrelBase.I#{-5b,w-}{i} 0
  97 d.Eq_aD5  ::  {PrelBase.Eq{-23,p-} PrelBase.Int{-3g,W-}}
  98 {-# L #-}
  99 d.Eq_aD5 =
 100     PrelBase.$d8{-raT,p-}
 101 ==_aI1  ::  PrelBase.Int{-3g,W-}
 102             -> PrelBase.Int{-3g,W-}
 103             -> PrelBase.Bool{-34,W-}
 104 {-# L #-}
 105 ==_aI1 =
 106     PrelBase.=={-8Y,p-} _@_ PrelBase.Int{-3g,W-} d.Eq_aD5
 107 lit_aHZ  ::  PrelBase.Int{-3g,W-}
 108 {-# L #-}
 109 lit_aHZ =
 110     PrelBase.I#{-5b,w-}{i} 1
 111 d.Ord_aD8  ::  {PrelBase.Ord{-2d,p-} PrelBase.Int{-3g,W-}}
 112 {-# L #-}
 113 d.Ord_aD8 =
 114     PrelBase.$d7{-raS,p-}
 115 >=_aI2  ::  PrelBase.Int{-3g,W-}
 116             -> PrelBase.Int{-3g,W-}
 117             -> PrelBase.Bool{-34,W-}
 118 {-# L #-}
 119 >=_aI2 =
 120     PrelBase.>={-8Z,p-} _@_ PrelBase.Int{-3g,W-} d.Ord_aD8
 121 d.Num_aDb  ::  {PrelBase.Num{-2c,p-} PrelBase.Int{-3g,W-}}
 122 {-# L #-}
 123 d.Num_aDb =
 124     PrelBase.$d4{-raw,p-}
 125 -_aI3  ::  PrelBase.Int{-3g,W-}
 126            -> PrelBase.Int{-3g,W-}
 127            -> PrelBase.Int{-3g,W-}
 128 {-# L #-}
 129 -_aI3 =
 130     PrelBase.-{-817,p-} _@_ PrelBase.Int{-3g,W-} d.Num_aDb
 131 end Rec }