ghc/compiler/tests/deSugar/ds015.stderr

   1 ds015.hs:9:
   2     Warning: Possibly incomplete patterns
   3         in a lambda abstraction:
   4             `(x PrelBase.: xs) -> ...'
   5
   6
   7 ================================================================================
   8 Desugared:
   9 h{-r3z,x-}  ::
  10     _forall_ [t{-an8-} t{-anf-}] => [t{-an8-}] -> t{-anf-} -> t{-an8-}
  11 {-# L #-}
  12 h{-r3z,x-} =
  13     _/\_ t{-an8-} t{-anf-} -> \ x_r3t  ::
  14                                     [t{-an8-}]
  15                                 {-# L #-}
  16                                 x_r3t y_r3v  ::
  17                                           t{-anf-}
  18                                       {-# L #-}
  19                                       y_r3v ->
  20         (\ ds_drl  ::
  21                [t{-an8-}]
  22            {-# L #-}
  23            ds_drl ->
  24              let {
  25                fail_drm  ::
  26                    t{-an8-}
  27                {-# L #-}
  28                fail_drm =
  29                    GHCerr.patError{-8r,p-}
  30                        _@_ t{-an8-} _string_ "ds015.hs:9|lambda"
  31              } in
  32                case ds_drl of {
  33                  PrelBase.[]{-5i,p-}{i} ->
  34                      fail_drm;
  35                  PrelBase.:{-55,p-}{i} x_r3x xs_r3y ->
  36                      x_r3x;
  37                })
  38             x_r3t
  39 g{-r3A,x-}  ::
  40     _forall_
  41     [t{-any-} t{-anA-} t{-anC-}]
  42     =>
  43     ((t{-any-} -> t{-any-}) -> t{-anA-}) -> t{-anC-} -> t{-anA-}
  44 {-# L #-}
  45 g{-r3A,x-} =
  46     _/\_ t{-any-} t{-anA-} t{-anC-} -> \ x_r3j  ::
  47                                              (t{-any-} -> t{-any-}) -> t{-anA-}
  48                                          {-# L #-}
  49                                          x_r3j y_r3l  ::
  50                                                    t{-anC-}
  51                                                {-# L #-}
  52                                                y_r3l ->
  53         let {
  54           ds_drT  ::
  55               t{-any-} -> t{-any-}
  56           {-# L #-}
  57           ds_drT =
  58               \ x_r3r  ::
  59                     t{-any-}
  60                 {-# L #-}
  61                 x_r3r ->
  62                   x_r3r
  63         } in
  64           (\ x_r3n  ::
  65                  t{-any-} -> t{-any-}
  66              {-# L #-}
  67              x_r3n y_r3p  ::
  68                        (t{-any-} -> t{-any-}) -> t{-anA-}
  69                    {-# L #-}
  70                    y_r3p ->
  71                y_r3p
  72                    x_r3n)
  73               ds_drT x_r3j
  74 f{-r3B,x-}  ::
  75     _forall_ [t{-anM-}] => t{-anM-} -> t{-anM-}
  76 {-# L #-}
  77 f{-r3B,x-} =
  78     _/\_ t{-anM-} -> \ x_r3f  ::
  79                            t{-anM-}
  80                        {-# L #-}
  81                        x_r3f ->
  82         (\ x_r3h  ::
  83                t{-anM-}
  84            {-# L #-}
  85            x_r3h ->
  86              x_r3h)
  87             x_r3f