ghc/tests/deSugar/should_compile/ds025.stderr

   1 ds025.hs:6:
   2     Warning: Possibly incomplete patterns
   3         in the definition of function `ehead'
   4
   5
   6 ================================================================================
   7 Desugared:
   8 Rec {
   9 assocMaybe{-r3h,x-}  ::  _forall_
  10                          [taUL taUO]
  11                          =>
  12                          {PrelBase.Eq{-23,p-} taUL}
  13                          -> taUL
  14                          -> [(taUL, taUO)]
  15                          -> PrelBase.Maybe{-rhk,p-} taUO
  16 {-# L #-}
  17 assocMaybe{-r3h,x-} =
  18     _/\_ taUL taUO -> \ d.Eq_aVB  ::  {PrelBase.Eq{-23,p-} taUL}
  19                         {-# L #-}
  20                         d.Eq_aVB ->
  21         _letrec_ {
  22           d.Eq_aVD  ::  {PrelBase.Eq{-23,p-} taUL}
  23           {-# L #-}
  24           d.Eq_aVD =
  25               d.Eq_aVB;
  26           ==_a16L  ::  taUL -> taUL -> PrelBase.Bool{-34,W-}
  27           {-# L #-}
  28           ==_a16L =
  29               PrelBase.=={-8Y,p-} _@_ taUL d.Eq_aVD;
  30           assocMaybe_aUI  ::  taUL
  31                               -> [(taUL, taUO)]
  32                               -> PrelBase.Maybe{-rhk,p-} taUO
  33           {-# L #-}
  34           assocMaybe_aUI =
  35               \ key_r3x  ::  taUL
  36                 {-# L #-}
  37                 key_r3x lst_r3y  ::  [(taUL, taUO)]
  38                         {-# L #-}
  39                         lst_r3y ->
  40                   let { res_aUQ  ::  [taUO]
  41                         {-# L #-}
  42                         res_aUQ =
  43                     _letrec_ {
  44                       ds_d18e  ::  [(taUL, taUO)] -> [taUO]
  45                       {-# L #-}
  46                       ds_d18e =
  47                           \ ds_d18j  ::  [(taUL, taUO)]
  48                             {-# L #-}
  49                             ds_d18j ->
  50                               case ds_d18j of {
  51                                 PrelBase.[]{-5i,w-}{i} -> PrelBase.[]{-5i,w-}{i} {_@_ taUO};
  52                                 PrelBase.:{-55,w-}{i} ds_d18y ds_d18z ->
  53                                     case ds_d18y of { PrelTup.(,){-62,w-}{i} key'_r3C val_r3D  ->
  54                                     case ==_a16L key_r3x key'_r3C of {
  55                                       PrelBase.True{-5E,w-}{i} ->
  56                                           let {
  57                                             ds_d195  ::  [taUO]
  58                                             {-# L #-}
  59                                             ds_d195 =
  60                                                 ds_d18e ds_d18z
  61                                           } in  PrelBase.:{-55,w-}{i} {_@_ taUO val_r3D ds_d195};
  62                                       PrelBase.False{-58,w-}{i} -> ds_d18e ds_d18z;
  63                                     };};
  64                               };
  65                     } in  ds_d18e lst_r3y
  66                   } in
  67                   let {
  68                     res_r3A  ::  [taUO]
  69                     {-# L #-}
  70                     res_r3A =
  71                         res_aUQ
  72                   } in
  73                     case PrelList.null{-r51,p-} _@_ taUO res_r3A of {
  74                       PrelBase.True{-5E,w-}{i} -> PrelBase.Nothing{-rbW,p-}{i} _@_ taUO;
  75                       PrelBase.False{-58,w-}{i} ->
  76                           let {
  77                             ds_d19W  ::  taUO
  78                             {-# L #-}
  79                             ds_d19W =
  80                                 PrelList.head{-r3E,p-} _@_ taUO res_r3A
  81                           } in  PrelBase.Just{-rbS,p-}{i} _@_ taUO ds_d19W;
  82                     };
  83         } in  assocMaybe_aUI
  84 ehead{-r3i,x-}  ::  _forall_
  85                     [taWc]
  86                     =>
  87                     [taWc] -> [PrelBase.Char{-38,W-}] -> taWc
  88 {-# L #-}
  89 ehead{-r3i,x-} =
  90     _/\_ taWc ->
  91         _letrec_ {
  92           ehead_aVL  ::  [taWc] -> [PrelBase.Char{-38,W-}] -> taWc
  93           {-# L #-}
  94           ehead_aVL =
  95               \ xs_r3l  ::  [taWc]
  96                 {-# L #-}
  97                 xs_r3l loc_r3m  ::  [PrelBase.Char{-38,W-}]
  98                        {-# L #-}
  99                        loc_r3m ->
 100                   let {
 101                     fail_d1aE  ::  taWc
 102                     {-# L #-}
 103                     fail_d1aE =
 104                         GHCerr.patError{-8r,w-}
 105                             _@_ taWc _string_ "ds025.hs:5|function `ehead'"
 106                   } in
 107                     case PrelList.null{-r51,p-} _@_ taWc xs_r3l of {
 108                       PrelBase.True{-5E,w-}{i} ->
 109                           let { ds_d1aS  ::  [PrelBase.Char{-38,W-}]
 110                                 {-# L #-}
 111                                 ds_d1aS =
 112                             let { ds_d1b2  ::  [PrelBase.Char{-38,W-}]
 113                                   {-# L #-}
 114                                   ds_d1b2 =
 115                               let {
 116                                 ds_d1bg  ::  PrelBase.Char{-38,W-}
 117                                 {-# L #-}
 118                                 ds_d1bg =
 119                                     PrelBase.C#{-54,w-}{i} {'4'} } in
 120                               let {
 121                                 ds_d1bk  ::  [PrelBase.Char{-38,W-}]
 122                                 {-# L #-}
 123                                 ds_d1bk =
 124                                     PrelBase.[]{-5i,w-}{i} {_@_ PrelBase.Char{-38,W-}}
 125                               } in
 126                                 PrelBase.:{-55,w-}{i} {_@_ PrelBase.Char{-38,W-} ds_d1bg ds_d1bk}
 127                             } in
 128                             ++_a127 _@_ PrelBase.Char{-38,W-} ds_d1b2 loc_r3m
 129                           } in
 130                           IOBase.error{-87,w-} _@_ taWc ds_d1aS;
 131                       PrelBase.False{-58,w-}{i} ->
 132                           PrelList.head{-r3E,p-} _@_ taWc xs_r3l;
 133                     };
 134         } in  ehead_aVL
 135 assoc{-r3j,x-}  ::  _forall_
 136                     [taXo taXr]
 137                     =>
 138                     {PrelBase.Show{-2i,p-} taXo}
 139                     -> {PrelBase.Eq{-23,p-} taXo}
 140                     -> taXo
 141                     -> [(taXo, taXr)]
 142                     -> [PrelBase.Char{-38,W-}]
 143                     -> taXr
 144 {-# L #-}
 145 assoc{-r3j,x-} =
 146     _/\_ taXo taXr -> \ d.Show_aXv  ::  {PrelBase.Show{-2i,p-} taXo}
 147                         {-# L #-}
 148                         d.Show_aXv d.Eq_aXx  ::  {PrelBase.Eq{-23,p-} taXo}
 149                                    {-# L #-}
 150                                    d.Eq_aXx ->
 151         _letrec_ {
 152           ++_a122  ::  _forall_ [taXd] => [taXd] -> [taXd] -> [taXd]
 153           {-# L #-}
 154           ++_a122 =
 155               ++_a123;
 156           ++_a121  ::  _forall_ [taXk] => [taXk] -> [taXk] -> [taXk]
 157           {-# L #-}
 158           ++_a121 =
 159               ++_a123;
 160           show_a12b  ::  taXo -> PrelBase.String{-rhB,p-}
 161           {-# L #-}
 162           show_a12b =
 163               PrelBase.show{-rij,p-} _@_ taXo d.Show_aXv;
 164           ==_a12c  ::  taXo -> taXo -> PrelBase.Bool{-34,W-}
 165           {-# L #-}
 166           ==_a12c =
 167               PrelBase.=={-8Y,p-} _@_ taXo d.Eq_aXx;
 168           assoc_aWg  ::  taXo
 169                          -> [(taXo, taXr)]
 170                          -> [PrelBase.Char{-38,W-}]
 171                          -> taXr
 172           {-# L #-}
 173           assoc_aWg =
 174               \ key_r3o  ::  taXo
 175                 {-# L #-}
 176                 key_r3o lst_r3p  ::  [(taXo, taXr)]
 177                         {-# L #-}
 178                         lst_r3p loc_r3q  ::  [PrelBase.Char{-38,W-}]
 179                                 {-# L #-}
 180                                 loc_r3q ->
 181                   let { res_aWy  ::  [taXr]
 182                         {-# L #-}
 183                         res_aWy =
 184                     _letrec_ {
 185                       ds_d1cL  ::  [(taXo, taXr)] -> [taXr]
 186                       {-# L #-}
 187                       ds_d1cL =
 188                           \ ds_d1cQ  ::  [(taXo, taXr)]
 189                             {-# L #-}
 190                             ds_d1cQ ->
 191                               case ds_d1cQ of {
 192                                 PrelBase.[]{-5i,w-}{i} -> PrelBase.[]{-5i,w-}{i} {_@_ taXr};
 193                                 PrelBase.:{-55,w-}{i} ds_d1d5 ds_d1d6 ->
 194                                     case ds_d1d5 of { PrelTup.(,){-62,w-}{i} key'_r3u val_r3v  ->
 195                                     case ==_a12c key_r3o key'_r3u of {
 196                                       PrelBase.True{-5E,w-}{i} ->
 197                                           let {
 198                                             ds_d1dC  ::  [taXr]
 199                                             {-# L #-}
 200                                             ds_d1dC =
 201                                                 ds_d1cL ds_d1d6
 202                                           } in  PrelBase.:{-55,w-}{i} {_@_ taXr val_r3v ds_d1dC};
 203                                       PrelBase.False{-58,w-}{i} -> ds_d1cL ds_d1d6;
 204                                     };};
 205                               };
 206                     } in  ds_d1cL lst_r3p
 207                   } in
 208                   let {
 209                     res_r3s  ::  [taXr]
 210                     {-# L #-}
 211                     res_r3s =
 212                         res_aWy
 213                   } in
 214                     case PrelList.null{-r51,p-} _@_ taXr res_r3s of {
 215                       PrelBase.True{-5E,w-}{i} ->
 216                           let { ds_d1el  ::  [PrelBase.Char{-38,W-}]
 217                                 {-# L #-}
 218                                 ds_d1el =
 219                             let { ds_d1ex  ::  [PrelBase.Char{-38,W-}]
 220                                   {-# L #-}
 221                                   ds_d1ex =
 222                               let {
 223                                 ds_d1eM  ::  PrelBase.Char{-38,W-}
 224                                 {-# L #-}
 225                                 ds_d1eM =
 226                                     PrelBase.C#{-54,w-}{i} {'1'} } in
 227                               let {
 228                                 ds_d1eQ  ::  [PrelBase.Char{-38,W-}]
 229                                 {-# L #-}
 230                                 ds_d1eQ =
 231                                     PrelBase.[]{-5i,w-}{i} {_@_ PrelBase.Char{-38,W-}}
 232                               } in
 233                                 PrelBase.:{-55,w-}{i} {_@_ PrelBase.Char{-38,W-} ds_d1eM ds_d1eQ}
 234                             } in
 235                             let { ds_d1eB  ::  [PrelBase.Char{-38,W-}]
 236                                   {-# L #-}
 237                                   ds_d1eB =
 238                               let { ds_d1f9  ::  [PrelBase.Char{-38,W-}]
 239                                     {-# L #-}
 240                                     ds_d1f9 =
 241                                 let { ds_d1fl  ::  [PrelBase.Char{-38,W-}]
 242                                       {-# L #-}
 243                                       ds_d1fl =
 244                                   let {
 245                                     ds_d1fA  ::  PrelBase.Char{-38,W-}
 246                                     {-# L #-}
 247                                     ds_d1fA =
 248                                         PrelBase.C#{-54,w-}{i} {'2'} } in
 249                                   let {
 250                                     ds_d1fE  ::  [PrelBase.Char{-38,W-}]
 251                                     {-# L #-}
 252                                     ds_d1fE =
 253                                         PrelBase.[]{-5i,w-}{i} {_@_ PrelBase.Char{-38,W-}}
 254                                   } in
 255                                     PrelBase.:{-55,w-}{i}
 256                                         {_@_ PrelBase.Char{-38,W-} ds_d1fA ds_d1fE}
 257                                 } in
 258                                 let {
 259                                   ds_d1fp  ::  [PrelBase.Char{-38,W-}]
 260                                   {-# L #-}
 261                                   ds_d1fp =
 262                                       show_a12b key_r3o
 263                                 } in  ++_a121 _@_ PrelBase.Char{-38,W-} ds_d1fl ds_d1fp
 264                               } in
 265                               ++_a122 _@_ PrelBase.Char{-38,W-} loc_r3q ds_d1f9
 266                             } in
 267                             ++_a123 _@_ PrelBase.Char{-38,W-} ds_d1ex ds_d1eB
 268                           } in
 269                           IOBase.error{-87,w-} _@_ taXr ds_d1el;
 270                       PrelBase.False{-58,w-}{i} ->
 271                           let { ds_d1ga  ::  [PrelBase.Char{-38,W-}]
 272                                 {-# L #-}
 273                                 ds_d1ga =
 274                             let {
 275                               ds_d1gl  ::  PrelBase.Char{-38,W-}
 276                               {-# L #-}
 277                               ds_d1gl =
 278                                   PrelBase.C#{-54,w-}{i} {'3'} } in
 279                             let {
 280                               ds_d1gp  ::  [PrelBase.Char{-38,W-}]
 281                               {-# L #-}
 282                               ds_d1gp =
 283                                   PrelBase.[]{-5i,w-}{i} {_@_ PrelBase.Char{-38,W-}}
 284                             } in
 285                               PrelBase.:{-55,w-}{i} {_@_ PrelBase.Char{-38,W-} ds_d1gl ds_d1gp}
 286                           } in
 287                           ehead{-r3i,x-} _@_ taXr res_r3s ds_d1ga;
 288                     };
 289         } in  assoc_aWg
 290 d.MonadPlus_aXF  ::  {PrelBase.MonadPlus{-2a,p-} PrelBase.[]{-3j,W-}}
 291 {-# L #-}
 292 d.MonadPlus_aXF =
 293     PrelBase.$d23{-rcg,p-}
 294 ++_a123  ::  _forall_ [taX7] => [taX7] -> [taX7] -> [taX7]
 295 {-# L #-}
 296 ++_a123 =
 297     PrelBase.++{-rhm,p-} _@_ PrelBase.[]{-3j,W-} d.MonadPlus_aXF
 298 d.Monad_aXI  ::  {PrelBase.Monad{-28,p-} PrelBase.[]{-3j,W-}}
 299 {-# L #-}
 300 d.Monad_aXI =
 301     PrelBase.$d25{-rci,p-}
 302 >>=_a124  ::  _forall_
 303               [taXO taXP]
 304               =>
 305               [taXO] -> (taXO -> [taXP]) -> [taXP]
 306 {-# L #-}
 307 >>=_a124 =
 308     PrelBase.>>={-811,p-} _@_ PrelBase.[]{-3j,W-} d.Monad_aXI
 309 d.Monad_aXL  ::  {PrelBase.Monad{-28,p-} PrelBase.[]{-3j,W-}}
 310 {-# L #-}
 311 d.Monad_aXL =
 312     d.Monad_aXI
 313 return_a125  ::  _forall_ [taXQ] => taXQ -> [taXQ]
 314 {-# L #-}
 315 return_a125 =
 316     PrelBase.return{-816,p-} _@_ PrelBase.[]{-3j,W-} d.Monad_aXL
 317 d.MonadZero_aXN  ::  {PrelBase.MonadZero{-29,p-} PrelBase.[]{-3j,W-}}
 318 {-# L #-}
 319 d.MonadZero_aXN =
 320     PrelBase.$d24{-rch,p-}
 321 zero_a126  ::  _forall_ [taXR] => [taXR]
 322 {-# L #-}
 323 zero_a126 =
 324     PrelBase.zero{-810,p-} _@_ PrelBase.[]{-3j,W-} d.MonadZero_aXN
 325 ++_a127  ::  _forall_ [taW6] => [taW6] -> [taW6] -> [taW6]
 326 {-# L #-}
 327 ++_a127 =
 328     ++_a123
 329 >>=_a128  ::  _forall_
 330               [taXS taXT]
 331               =>
 332               [taXS] -> (taXS -> [taXT]) -> [taXT]
 333 {-# L #-}
 334 >>=_a128 =
 335     >>=_a124
 336 return_a129  ::  _forall_ [taXU] => taXU -> [taXU]
 337 {-# L #-}
 338 return_a129 =
 339     return_a125
 340 zero_a12a  ::  _forall_ [taXV] => [taXV]
 341 {-# L #-}
 342 zero_a12a =
 343     zero_a126
 344 end Rec }