ghc/compiler/tests/deSugar/ds019.stderr

   1 ds019.hs:7:
   2     Warning: Pattern match(es) completely overlapped
   3         in the definition of function `f'
   4 ds019.hs:8:
   5     Warning: Pattern match(es) completely overlapped
   6         in the definition of function `f'
   7
   8
   9 ================================================================================
  10 Desugared:
  11 f{-r3G,x-}  ::
  12     _forall_
  13     [t{-aBG-} t{-aBJ-} t{-aBM-} t{-aBY-} t{-aC1-} t{-aC9-} t{-aC7-}]
  14     =>
  15     (t{-aBG-}, t{-aBJ-}, t{-aBM-})
  16     -> (t{-aBY-}, t{-aC1-})
  17     -> t{-aC9-}
  18     -> [t{-aC7-}]
  19 {-# L #-}
  20 f{-r3G,x-} =
  21     _/\_ t{-aBG-} t{-aBJ-} t{-aBM-} t{-aBY-} t{-aC1-} t{-aC9-} t{-aC7-} -> \ ds_dGA  ::
  22                                                                                  (t{-aBG-}, t{-aBJ-}, t{-aBM-})
  23                                                                              {-# L #-}
  24                                                                              ds_dGA i_r3h  ::
  25                                                                                         (t{-aBY-}, t{-aC1-})
  26                                                                                     {-# L #-}
  27                                                                                     i_r3h o_r3j  ::
  28                                                                                               t{-aC9-}
  29                                                                                           {-# L #-}
  30                                                                                           o_r3j ->
  31         case ds_dGA of { PrelTup.(,,){-63,p-}{i} a_r3d b_r3e c_r3f  ->
  32         PrelBase.[]{-5i,p-}{i}
  33             _@_ t{-aC7-};}