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-}  ::
  10     _forall_
  11     [t{-aGj-}]
  12     =>
  13     {PrelBase.Eq{-23,p-} t{-aGj-}} -> [t{-aGj-}] -> [t{-aGj-}]
  14 {-# L #-}
  15 nodups{-r3j,x-} =
  16     _/\_ t{-aGj-} -> \ d.Eq_aGz  ::
  17                            {PrelBase.Eq{-23,p-} t{-aGj-}}
  18                        {-# L #-}
  19                        d.Eq_aGz ->
  20         _letrec_ {
  21           ==_aJI  ::
  22               t{-aGj-} -> t{-aGj-} -> PrelBase.Bool{-34,p-}
  23           {-# L #-}
  24           ==_aJI =
  25               PrelBase.=={-8Y,p-}
  26                   _@_ t{-aGj-} d.Eq_aGz;
  27           nodups_aG4  ::
  28               [t{-aGj-}] -> [t{-aGj-}]
  29           {-# L #-}
  30           nodups_aG4 =
  31               \ ds_dK8  ::
  32                     [t{-aGj-}]
  33                 {-# L #-}
  34                 ds_dK8 ->
  35                   let {
  36                     fail_dK9  ::
  37                         [t{-aGj-}]
  38                     {-# L #-}
  39                     fail_dK9 =
  40                         GHCerr.patError{-8r,p-}
  41                             _@_ [t{-aGj-}] _string_ "ds004.hs:6|function `nodups'"
  42                   } in
  43                     case ds_dK8 of {
  44                       PrelBase.[]{-5i,p-}{i} ->
  45                           PrelBase.[]{-5i,p-}{i}
  46                               _@_ t{-aGj-};
  47                       PrelBase.:{-55,p-}{i} x_r3e ds_dKq ->
  48                           case ds_dKq of {
  49                             PrelBase.[]{-5i,p-}{i} ->
  50                                 let {
  51                                   ds_dKG  ::
  52                                       [t{-aGj-}]
  53                                   {-# L #-}
  54                                   ds_dKG =
  55                                       PrelBase.[]{-5i,p-}{i}
  56                                           {_@_ t{-aGj-}}
  57                                 } in
  58                                   PrelBase.:{-55,p-}{i}
  59                                       {_@_ t{-aGj-} x_r3e ds_dKG};
  60                             PrelBase.:{-55,p-}{i} x_r3h xs_r3i ->
  61                                 let {
  62                                   y_r3g  ::
  63                                       t{-aGj-}
  64                                   {-# L #-}
  65                                   y_r3g =
  66                                       x_r3e
  67                                 } in
  68                                   case
  69                                       ==_aJI
  70                                           y_r3g x_r3h
  71                                   of {
  72                                     PrelBase.True{-5E,p-}{i} ->
  73                                         let {
  74                                           ds_dLd  ::
  75                                               [t{-aGj-}]
  76                                           {-# L #-}
  77                                           ds_dLd =
  78                                               PrelBase.:{-55,p-}{i}
  79                                                   _@_ t{-aGj-} x_r3h xs_r3i
  80                                         } in
  81                                           nodups_aG4
  82                                               ds_dLd;
  83                                     PrelBase.False{-58,p-}{i} ->
  84                                         let { ds_dLF  ::
  85                                                   [t{-aGj-}]
  86                                               {-# L #-}
  87                                               ds_dLF =
  88                                           let {
  89                                             ds_dLN  ::
  90                                                 [t{-aGj-}]
  91                                             {-# L #-}
  92                                             ds_dLN =
  93                                                 PrelBase.:{-55,p-}{i}
  94                                                     _@_ t{-aGj-} x_r3h xs_r3i
  95                                           } in
  96                                             nodups_aG4
  97                                                 ds_dLN
  98                                         } in
  99                                         PrelBase.:{-55,p-}{i}
 100                                             _@_ t{-aGj-} y_r3g ds_dLF;
 101                                   };
 102                           };
 103                     };
 104         } in
 105           nodups_aG4
 106 end Rec }