ghc/tests/deSugar/should_compile/ds015.stderr

   1 ds015.hs:9:
   2     Warning: Possibly incomplete patterns
   3         in a lambda abstraction: `(x PrelBase.: xs) -> ...'
   4
   5
   6 ================================================================================
   7 Desugared:
   8 Rec {
   9 h{-r3w,x-}  ::  _forall_ [takN takG] => [takG] -> takN -> takG
  10 {-# L #-}
  11 h{-r3w,x-} =
  12     _/\_ takN takG ->
  13         _letrec_ {
  14           h_ako  ::  [takG] -> takN -> takG
  15           {-# L #-}
  16           h_ako =
  17               \ x_r3r  ::  [takG]
  18                 {-# L #-}
  19                 x_r3r y_r3s  ::  takN
  20                       {-# L #-}
  21                       y_r3s ->
  22                   (\ ds_dpA  ::  [takG]
  23                      {-# L #-}
  24                      ds_dpA ->
  25                        let {
  26                          fail_dpJ  ::  takG
  27                          {-# L #-}
  28                          fail_dpJ =
  29                              GHCerr.patError{-8r,w-} _@_ takG _string_ "ds015.hs:9|lambda"
  30                        } in
  31                          case ds_dpA of {
  32                            PrelBase.[]{-5i,w-}{i} -> fail_dpJ;
  33                            PrelBase.:{-55,w-}{i} x_r3u xs_r3v -> x_r3u;
  34                          })
  35                       x_r3r;
  36         } in  h_ako
  37 g{-r3x,x-}  ::  _forall_
  38                 [talp talr talt]
  39                 =>
  40                 ((talt -> talt) -> talr) -> talp -> talr
  41 {-# L #-}
  42 g{-r3x,x-} =
  43     _/\_ talp talr talt ->
  44         _letrec_ {
  45           g_akP  ::  ((talt -> talt) -> talr) -> talp -> talr
  46           {-# L #-}
  47           g_akP =
  48               \ x_r3j  ::  (talt -> talt) -> talr
  49                 {-# L #-}
  50                 x_r3j y_r3k  ::  talp
  51                       {-# L #-}
  52                       y_r3k ->
  53                   (let {
  54                      ds_dql  ::  talt -> talt
  55                      {-# L #-}
  56                      ds_dql =
  57                          \ x_r3p  ::  talt
  58                            {-# L #-}
  59                            x_r3p ->
  60                              x_r3p
  61                    } in
  62                      (\ x_r3m  ::  talt -> talt
  63                         {-# L #-}
  64                         x_r3m y_r3n  ::  (talt -> talt) -> talr
  65                               {-# L #-}
  66                               y_r3n ->
  67                           y_r3n x_r3m)
  68                          ds_dql)
  69                       x_r3j;
  70         } in  g_akP
  71 f{-r3y,x-}  ::  _forall_ [talL] => talL -> talL
  72 {-# L #-}
  73 f{-r3y,x-} =
  74     _/\_ talL ->
  75         _letrec_ {
  76           f_alv  ::  talL -> talL
  77           {-# L #-}
  78           f_alv =
  79               \ x_r3f  ::  talL
  80                 {-# L #-}
  81                 x_r3f ->
  82                   (\ x_r3h  ::  talL
  83                      {-# L #-}
  84                      x_r3h ->
  85                        x_r3h)
  86                       x_r3f;
  87         } in  f_alv
  88 end Rec }