ghc/compiler/tests/deSugar/ds021.stderr

   1 ds021.hs:8:
   2     Warning: Possibly incomplete patterns
   3         in the definition of function `f'
   4
   5
   6 ================================================================================
   7 Desugared:
   8 f{-r3i,x-}  ::
   9     _forall_
  10     [rlg{-aG9-} t{-aGm-}]
  11     =>
  12     {PrelBase.Eq{-23,p-} rlg{-aG9-}}
  13     -> rlg{-aG9-}
  14     -> rlg{-aG9-}
  15     -> rlg{-aG9-}
  16     -> [t{-aGm-}]
  17 {-# L #-}
  18 f{-r3i,x-} =
  19     _/\_ rlg{-aG9-} t{-aGm-} -> \ d.Eq_aGr  ::
  20                                       {PrelBase.Eq{-23,p-} rlg{-aG9-}}
  21                                   {-# L #-}
  22                                   d.Eq_aGr ->
  23         let {
  24           ==_aIv  ::
  25               rlg{-aG9-} -> rlg{-aG9-} -> PrelBase.Bool{-34,p-}
  26           {-# L #-}
  27           ==_aIv =
  28               PrelBase.=={-8Y,p-}
  29                   _@_ rlg{-aG9-} d.Eq_aGr } in
  30         let {
  31           d.Eq_aGt  ::
  32               {PrelBase.Eq{-23,p-} rlg{-aG9-}}
  33           {-# L #-}
  34           d.Eq_aGt =
  35               d.Eq_aGr } in
  36         let {
  37           /=_aIu  ::
  38               rlg{-aG9-} -> rlg{-aG9-} -> PrelBase.Bool{-34,p-}
  39           {-# L #-}
  40           /=_aIu =
  41               PrelBase./={-ray,p-}
  42                   _@_ rlg{-aG9-} d.Eq_aGt
  43         } in
  44           \ x_r3d  ::
  45                 rlg{-aG9-}
  46             {-# L #-}
  47             x_r3d y_r3f  ::
  48                       rlg{-aG9-}
  49                   {-# L #-}
  50                   y_r3f z_r3h  ::
  51                             rlg{-aG9-}
  52                         {-# L #-}
  53                         z_r3h ->
  54               let {
  55                 fail_dJa  ::
  56                     [t{-aGm-}]
  57                 {-# L #-}
  58                 fail_dJa =
  59                     GHCerr.patError{-8r,p-}
  60                         _@_ [t{-aGm-}] _string_ "ds021.hs:5|function `f'"
  61               } in
  62                 case
  63                     ==_aIv
  64                         x_r3d y_r3f
  65                 of {
  66                   PrelBase.True{-5E,p-}{i} ->
  67                       PrelBase.[]{-5i,p-}{i}
  68                           _@_ t{-aGm-};
  69                   PrelBase.False{-58,p-}{i} ->
  70                       case
  71                           /=_aIu
  72                               x_r3d z_r3h
  73                       of {
  74                         PrelBase.True{-5E,p-}{i} ->
  75                             PrelBase.[]{-5i,p-}{i}
  76                                 _@_ t{-aGm-};
  77                         PrelBase.False{-58,p-}{i} ->
  78                             PrelBase.[]{-5i,p-}{i}
  79                                 _@_ t{-aGm-};
  80                       };
  81                 }