ghc/tests/deSugar/should_compile/ds004.stderr

   1 ds004.hs:6:
   2     Warning: Possibly incomplete patterns
   3         in the definition of function `nodups'
   4
   5
   6 ================================================================================
   7 Desugared:
   8 Rec {
   9 nodups{-r3j,x-}  ::  _forall_
  10                      [taBn]
  11                      =>
  12                      {PrelBase.Eq{-23,p-} taBn} -> [taBn] -> [taBn]
  13 {-# L #-}
  14 nodups{-r3j,x-} =
  15     _/\_ taBn -> \ d.Eq_aBp  ::  {PrelBase.Eq{-23,p-} taBn}
  16                    {-# L #-}
  17                    d.Eq_aBp ->
  18         _letrec_ {
  19           ==_aEE  ::  taBn -> taBn -> PrelBase.Bool{-34,W-}
  20           {-# L #-}
  21           ==_aEE =
  22               PrelBase.=={-8Y,p-} _@_ taBn d.Eq_aBp;
  23           nodups_aAN  ::  [taBn] -> [taBn]
  24           {-# L #-}
  25           nodups_aAN =
  26               \ ds_dF4  ::  [taBn]
  27                 {-# L #-}
  28                 ds_dF4 ->
  29                   let {
  30                     fail_dF5  ::  [taBn]
  31                     {-# L #-}
  32                     fail_dF5 =
  33                         GHCerr.patError{-8r,w-}
  34                             _@_ [taBn] _string_ "ds004.hs:6|function `nodups'"
  35                   } in
  36                     case ds_dF4 of {
  37                       PrelBase.[]{-5i,w-}{i} -> PrelBase.[]{-5i,w-}{i} _@_ taBn;
  38                       PrelBase.:{-55,w-}{i} x_r3e ds_dFm ->
  39                           case ds_dFm of {
  40                             PrelBase.[]{-5i,w-}{i} ->
  41                                 let {
  42                                   ds_dFC  ::  [taBn]
  43                                   {-# L #-}
  44                                   ds_dFC =
  45                                       PrelBase.[]{-5i,w-}{i} {_@_ taBn}
  46                                 } in  PrelBase.:{-55,w-}{i} {_@_ taBn x_r3e ds_dFC};
  47                             PrelBase.:{-55,w-}{i} x_r3h xs_r3i ->
  48                                 let {
  49                                   y_r3g  ::  taBn
  50                                   {-# L #-}
  51                                   y_r3g =
  52                                       x_r3e
  53                                 } in
  54                                   case ==_aEE y_r3g x_r3h of {
  55                                     PrelBase.True{-5E,w-}{i} ->
  56                                         let {
  57                                           ds_dG9  ::  [taBn]
  58                                           {-# L #-}
  59                                           ds_dG9 =
  60                                               PrelBase.:{-55,w-}{i} _@_ taBn x_r3h xs_r3i
  61                                         } in  nodups_aAN ds_dG9;
  62                                     PrelBase.False{-58,w-}{i} ->
  63                                         let { ds_dGB  ::  [taBn]
  64                                               {-# L #-}
  65                                               ds_dGB =
  66                                           let {
  67                                             ds_dGJ  ::  [taBn]
  68                                             {-# L #-}
  69                                             ds_dGJ =
  70                                                 PrelBase.:{-55,w-}{i} _@_ taBn x_r3h xs_r3i
  71                                           } in  nodups_aAN ds_dGJ
  72                                         } in
  73                                         PrelBase.:{-55,w-}{i} _@_ taBn y_r3g ds_dGB;
  74                                   };
  75                           };
  76                     };
  77         } in  nodups_aAN
  78 end Rec }