ghc/compiler/tests/deSugar/ds018.stderr

   1 ds018.hs:41:
   2     Warning: Possibly incomplete patterns
   3         in the definition of function `fb'
   4 ds018.hs:39:
   5     Warning: Possibly incomplete patterns
   6         in the definition of function `fa'
   7
   8
   9 ================================================================================
  10 Desugared:
  11 gb2_aCw  ::
  12     PrelBase.(){-40,p-} -> PrelBase.(){-40,p-}
  13 {-# L #-}
  14 gb2_aCw =
  15     \ ds_d18I  ::
  16           PrelBase.(){-40,p-}
  17       {-# L #-}
  18       ds_d18I ->
  19         case ds_d18I of { PrelBase.(){-60,p-}{i}  ->
  20         PrelBase.(){-60,p-}{i};}
  21 gb2{-r50,x-}  ::
  22     PrelBase.(){-40,p-} -> PrelBase.(){-40,p-}
  23 {-# L #-}
  24 gb2{-r50,x-} =
  25     gb2_aCw
  26 gb{-r51,x-}  ::
  27     _forall_ [t{-aCG-}] => PrelBase.(){-40,p-} -> t{-aCG-} -> t{-aCG-}
  28 {-# L #-}
  29 gb{-r51,x-} =
  30     _/\_ t{-aCG-} -> \ ds_d19f  ::
  31                            PrelBase.(){-40,p-}
  32                        {-# L #-}
  33                        ds_d19f x_r4Z  ::
  34                                    t{-aCG-}
  35                                {-# L #-}
  36                                x_r4Z ->
  37         case ds_d19f of { PrelBase.(){-60,p-}{i}  -> x_r4Z;}
  38 ga{-r52,x-}  ::
  39     _forall_
  40     [t{-aDB-} t{-aDE-} t{-aDH-} t{-aDK-} t{-aDN-} t{-aDQ-} t{-aDT-} t{-aDW-} t{-aDZ-} t{-aE2-} t{-aE5-} t{-aE8-} t{-aEb-} t{-aEe-} t{-aEh-} t{-aEk-} t{-aEn-} t{-aEq-} t{-aEt-} t{-aEw-} t{-aEz-} t{-aEC-} t{-aEF-} t{-aEI-} t{-aEL-} t{-aEO-} t{-aER-} t{-aEU-} t{-aEX-} t{-aF0-} t{-aF3-} t{-aF6-} t{-aF9-} t{-aFc-} t{-aFf-} t{-aFi-} t{-aFl-} t{-aFo-} t{-aFr-} t{-aFu-} t{-aFx-} t{-aFA-} t{-aFD-} t{-aFG-} t{-aFJ-} t{-aFM-} t{-aFP-} t{-aFS-} t{-aFV-} t{-aFY-} t{-aG1-} t{-aG4-}]
  41     =>
  42     (t{-aDB-}, t{-aDE-}, t{-aDH-}, t{-aDK-}, t{-aDN-}, t{-aDQ-}, t{-aDT-}, t{-aDW-}, t{-aDZ-}, t{-aE2-}, t{-aE5-}, t{-aE8-}, t{-aEb-}, t{-aEe-}, t{-aEh-}, t{-aEk-}, t{-aEn-}, t{-aEq-}, t{-aEt-}, t{-aEw-}, t{-aEz-}, t{-aEC-}, t{-aEF-}, t{-aEI-}, t{-aEL-}, t{-aEO-}, t{-aER-}, t{-aEU-}, t{-aEX-}, t{-aF0-}, t{-aF3-}, t{-aF6-}, t{-aF9-}, t{-aFc-}, t{-aFf-}, t{-aFi-}, t{-aFl-}, t{-aFo-}, t{-aFr-}, t{-aFu-}, t{-aFx-}, t{-aFA-}, t{-aFD-}, t{-aFG-}, t{-aFJ-}, t{-aFM-}, t{-aFP-}, t{-aFS-}, t{-aFV-}, t{-aFY-}, t{-aG1-}, t{-aG4-})
  43     -> t{-aEI-}
  44 {-# L #-}
  45 ga{-r52,x-} =
  46     _/\_ t{-aDB-} t{-aDE-} t{-aDH-} t{-aDK-} t{-aDN-} t{-aDQ-} t{-aDT-} t{-aDW-} t{-aDZ-} t{-aE2-} t{-aE5-} t{-aE8-} t{-aEb-} t{-aEe-} t{-aEh-} t{-aEk-} t{-aEn-} t{-aEq-} t{-aEt-} t{-aEw-} t{-aEz-} t{-aEC-} t{-aEF-} t{-aEI-} t{-aEL-} t{-aEO-} t{-aER-} t{-aEU-} t{-aEX-} t{-aF0-} t{-aF3-} t{-aF6-} t{-aF9-} t{-aFc-} t{-aFf-} t{-aFi-} t{-aFl-} t{-aFo-} t{-aFr-} t{-aFu-} t{-aFx-} t{-aFA-} t{-aFD-} t{-aFG-} t{-aFJ-} t{-aFM-} t{-aFP-} t{-aFS-} t{-aFV-} t{-aFY-} t{-aG1-} t{-aG4-} -> \ ds_d1ar  ::
  47                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                       (t{-aDB-}, t{-aDE-}, t{-aDH-}, t{-aDK-}, t{-aDN-}, t{-aDQ-}, t{-aDT-}, t{-aDW-}, t{-aDZ-}, t{-aE2-}, t{-aE5-}, t{-aE8-}, t{-aEb-}, t{-aEe-}, t{-aEh-}, t{-aEk-}, t{-aEn-}, t{-aEq-}, t{-aEt-}, t{-aEw-}, t{-aEz-}, t{-aEC-}, t{-aEF-}, t{-aEI-}, t{-aEL-}, t{-aEO-}, t{-aER-}, t{-aEU-}, t{-aEX-}, t{-aF0-}, t{-aF3-}, t{-aF6-}, t{-aF9-}, t{-aFc-}, t{-aFf-}, t{-aFi-}, t{-aFl-}, t{-aFo-}, t{-aFr-}, t{-aFu-}, t{-aFx-}, t{-aFA-}, t{-aFD-}, t{-aFG-}, t{-aFJ-}, t{-aFM-}, t{-aFP-}, t{-aFS-}, t{-aFV-}, t{-aFY-}, t{-aG1-}, t{-aG4-})
  48                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                   {-# L #-}
  49                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                   ds_d1ar ->
  50         case
  51             ds_d1ar
  52         of {
  53         PrelTup.(,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,){-6Q,p-}{i} a_r47 b_r48 c_r49 d_r4a e_r4b f_r4c g_r4d h_r4e i_r4f j_r4g k_r4h l_r4i m_r4j n_r4k o_r4l p_r4m q_r4n r_r4o s_r4p t_r4q u_r4r v_r4s w_r4t x_r4u y_r4v z_r4w aa_r4x ab_r4y ac_r4z ad_r4A ae_r4B af_r4C ag_r4D ah_r4E ai_r4F aj_r4G ak_r4H al_r4I am_r4J an_r4K ao_r4L ap_r4M aq_r4N ar_r4O as_r4P at_r4Q au_r4R av_r4S aw_r4T ax_r4U ay_r4V az_r4W  ->
  54         x_r4u;}
  55 fb{-r53,x-}  ::
  56     _forall_ [t{-aGc-} t{-aGe-}] => [t{-aGc-}] -> [t{-aGe-}]
  57 {-# L #-}
  58 fb{-r53,x-} =
  59     _/\_ t{-aGc-} t{-aGe-} -> \ ds_d1aY  ::
  60                                     [t{-aGc-}]
  61                                 {-# L #-}
  62                                 ds_d1aY ->
  63         let {
  64           fail_d1aZ  ::
  65               [t{-aGe-}]
  66           {-# L #-}
  67           fail_d1aZ =
  68               GHCerr.patError{-8r,p-}
  69                   _@_ [t{-aGe-}] _string_ "ds018.hs:41|function `fb'"
  70         } in
  71           case ds_d1aY of {
  72             PrelBase.:{-55,p-}{i} ds_d1b7 ds_d1b6 ->
  73                 fail_d1aZ;
  74             PrelBase.[]{-5i,p-}{i} ->
  75                 PrelBase.[]{-5i,p-}{i}
  76                     _@_ t{-aGe-};
  77           }
  78 fa{-r54,x-}  ::
  79     _forall_ [t{-aGJ-}] => [t{-aGJ-}] -> t{-aGJ-}
  80 {-# L #-}
  81 fa{-r54,x-} =
  82     _/\_ t{-aGJ-} -> \ ds_d1bF  ::
  83                            [t{-aGJ-}]
  84                        {-# L #-}
  85                        ds_d1bF ->
  86         let {
  87           fail_d1bG  ::
  88               t{-aGJ-}
  89           {-# L #-}
  90           fail_d1bG =
  91               GHCerr.patError{-8r,p-}
  92                   _@_ t{-aGJ-} _string_ "ds018.hs:39|function `fa'"
  93         } in
  94           case ds_d1bF of {
  95             PrelBase.[]{-5i,p-}{i} ->
  96                 fail_d1bG;
  97             PrelBase.:{-55,p-}{i} a_r3F ds_d1bT ->
  98                 case ds_d1bT of {
  99                   PrelBase.[]{-5i,p-}{i} ->
 100                       fail_d1bG;
 101                   PrelBase.:{-55,p-}{i} b_r3G ds_d1c6 ->
 102                       case ds_d1c6 of {
 103                         PrelBase.[]{-5i,p-}{i} ->
 104                             fail_d1bG;
 105                         PrelBase.:{-55,p-}{i} c_r3H ds_d1cj ->
 106                             case ds_d1cj of {
 107                               PrelBase.[]{-5i,p-}{i} ->
 108                                   fail_d1bG;
 109                               PrelBase.:{-55,p-}{i} d_r3I ds_d1cw ->
 110                                   case ds_d1cw of {
 111                                     PrelBase.[]{-5i,p-}{i} ->
 112                                         fail_d1bG;
 113                                     PrelBase.:{-55,p-}{i} e_r3J ds_d1cJ ->
 114                                         case ds_d1cJ of {
 115                                           PrelBase.[]{-5i,p-}{i} ->
 116                                               fail_d1bG;
 117                                           PrelBase.:{-55,p-}{i} f_r3K ds_d1cW ->
 118                                               case ds_d1cW of {
 119                                                 PrelBase.[]{-5i,p-}{i} ->
 120                                                     fail_d1bG;
 121                                                 PrelBase.:{-55,p-}{i} g_r3L ds_d1d9 ->
 122                                                     case ds_d1d9 of {
 123                                                       PrelBase.[]{-5i,p-}{i} ->
 124                                                           fail_d1bG;
 125                                                       PrelBase.:{-55,p-}{i} h_r3M ds_d1dm ->
 126                                                           case ds_d1dm of {
 127                                                             PrelBase.[]{-5i,p-}{i} ->
 128                                                                 fail_d1bG;
 129                                                             PrelBase.:{-55,p-}{i} i_r3N ds_d1dz ->
 130                                                                 case ds_d1dz of {
 131                                                                   PrelBase.[]{-5i,p-}{i} ->
 132                                                                       fail_d1bG;
 133                                                                   PrelBase.:{-55,p-}{i} j_r3O ds_d1dM ->
 134                                                                       case ds_d1dM of {
 135                                                                         PrelBase.[]{-5i,p-}{i} ->
 136                                                                             fail_d1bG;
 137                                                                         PrelBase.:{-55,p-}{i} k_r3P ds_d1dZ ->
 138                                                                             case ds_d1dZ of {
 139                                                                               PrelBase.[]{-5i,p-}{i} ->
 140                                                                                   fail_d1bG;
 141                                                                               PrelBase.:{-55,p-}{i} l_r3Q ds_d1ec ->
 142                                                                                   case ds_d1ec of {
 143                                                                                     PrelBase.[]{-5i,p-}{i} ->
 144                                                                                         fail_d1bG;
 145                                                                                     PrelBase.:{-55,p-}{i} m_r3R ds_d1ep ->
 146                                                                                         case
 147                                                                                             ds_d1ep
 148                                                                                         of {
 149                                                                                           PrelBase.[]{-5i,p-}{i} ->
 150                                                                                               fail_d1bG;
 151                                                                                           PrelBase.:{-55,p-}{i} n_r3S ds_d1eC ->
 152                                                                                               case
 153                                                                                                   ds_d1eC
 154                                                                                               of {
 155                                                                                                 PrelBase.[]{-5i,p-}{i} ->
 156                                                                                                     fail_d1bG;
 157                                                                                                 PrelBase.:{-55,p-}{i} o_r3T ds_d1eP ->
 158                                                                                                     case
 159                                                                                                         ds_d1eP
 160                                                                                                     of {
 161                                                                                                       PrelBase.[]{-5i,p-}{i} ->
 162                                                                                                           fail_d1bG;
 163                                                                                                       PrelBase.:{-55,p-}{i} p_r3U ds_d1f2 ->
 164                                                                                                           case
 165                                                                                                               ds_d1f2
 166                                                                                                           of {
 167                                                                                                             PrelBase.[]{-5i,p-}{i} ->
 168                                                                                                                 fail_d1bG;
 169                                                                                                             PrelBase.:{-55,p-}{i} q_r3V ds_d1ff ->
 170                                                                                                                 case
 171                                                                                                                     ds_d1ff
 172                                                                                                                 of {
 173                                                                                                                   PrelBase.[]{-5i,p-}{i} ->
 174                                                                                                                       fail_d1bG;
 175                                                                                                                   PrelBase.:{-55,p-}{i} r_r3W ds_d1fs ->
 176                                                                                                                       case
 177                                                                                                                           ds_d1fs
 178                                                                                                                       of {
 179                                                                                                                         PrelBase.[]{-5i,p-}{i} ->
 180                                                                                                                             fail_d1bG;
 181                                                                                                                         PrelBase.:{-55,p-}{i} s_r3X ds_d1fF ->
 182                                                                                                                             case
 183                                                                                                                                 ds_d1fF
 184                                                                                                                             of {
 185                                                                                                                               PrelBase.[]{-5i,p-}{i} ->
 186                                                                                                                                   fail_d1bG;
 187                                                                                                                               PrelBase.:{-55,p-}{i} t_r3Y ds_d1fS ->
 188                                                                                                                                   case
 189                                                                                                                                       ds_d1fS
 190                                                                                                                                   of {
 191                                                                                                                                     PrelBase.[]{-5i,p-}{i} ->
 192                                                                                                                                         fail_d1bG;
 193                                                                                                                                     PrelBase.:{-55,p-}{i} u_r3Z ds_d1g5 ->
 194                                                                                                                                         case
 195                                                                                                                                             ds_d1g5
 196                                                                                                                                         of {
 197                                                                                                                                           PrelBase.[]{-5i,p-}{i} ->
 198                                                                                                                                               fail_d1bG;
 199                                                                                                                                           PrelBase.:{-55,p-}{i} v_r40 ds_d1gi ->
 200                                                                                                                                               case
 201                                                                                                                                                   ds_d1gi
 202                                                                                                                                               of {
 203                                                                                                                                                 PrelBase.[]{-5i,p-}{i} ->
 204                                                                                                                                                     fail_d1bG;
 205                                                                                                                                                 PrelBase.:{-55,p-}{i} w_r41 ds_d1gv ->
 206                                                                                                                                                     case
 207                                                                                                                                                         ds_d1gv
 208                                                                                                                                                     of {
 209                                                                                                                                                       PrelBase.[]{-5i,p-}{i} ->
 210                                                                                                                                                           fail_d1bG;
 211                                                                                                                                                       PrelBase.:{-55,p-}{i} x_r42 ds_d1gI ->
 212                                                                                                                                                           case
 213                                                                                                                                                               ds_d1gI
 214                                                                                                                                                           of {
 215                                                                                                                                                             PrelBase.[]{-5i,p-}{i} ->
 216                                                                                                                                                                 fail_d1bG;
 217                                                                                                                                                             PrelBase.:{-55,p-}{i} y_r43 ds_d1gV ->
 218                                                                                                                                                                 case
 219                                                                                                                                                                     ds_d1gV
 220                                                                                                                                                                 of {
 221                                                                                                                                                                   PrelBase.[]{-5i,p-}{i} ->
 222                                                                                                                                                                       fail_d1bG;
 223                                                                                                                                                                   PrelBase.:{-55,p-}{i} z_r44 ds_d1h8 ->
 224                                                                                                                                                                       case
 225                                                                                                                                                                           ds_d1h8
 226                                                                                                                                                                       of {
 227                                                                                                                                                                         PrelBase.:{-55,p-}{i} ds_d1hg ds_d1hf ->
 228                                                                                                                                                                             fail_d1bG;
 229                                                                                                                                                                         PrelBase.[]{-5i,p-}{i} ->
 230                                                                                                                                                                             x_r42;
 231                                                                                                                                                                       };
 232                                                                                                                                                                 };
 233                                                                                                                                                           };
 234                                                                                                                                                     };
 235                                                                                                                                               };
 236                                                                                                                                         };
 237                                                                                                                                   };
 238                                                                                                                             };
 239                                                                                                                       };
 240                                                                                                                 };
 241                                                                                                           };
 242                                                                                                     };
 243                                                                                               };
 244                                                                                         };
 245                                                                                   };
 246                                                                             };
 247                                                                       };
 248                                                                 };
 249                                                           };
 250                                                     };
 251                                               };
 252                                         };
 253                                   };
 254                             };
 255                       };
 256                 };
 257           }
 258 g{-r55,x-}  ::
 259     _forall_
 260     [t{-aHm-} t{-aHo-} t{-aHq-}]
 261     =>
 262     t{-aHm-}
 263     -> t{-aHo-}
 264     -> t{-aHq-}
 265     -> (t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-})
 266 {-# L #-}
 267 g{-r55,x-} =
 268     _/\_ t{-aHm-} t{-aHo-} t{-aHq-} -> \ x_r3z  ::
 269                                              t{-aHm-}
 270                                          {-# L #-}
 271                                          x_r3z y_r3B  ::
 272                                                    t{-aHo-}
 273                                                {-# L #-}
 274                                                y_r3B z_r3D  ::
 275                                                          t{-aHq-}
 276                                                      {-# L #-}
 277                                                      z_r3D ->
 278         PrelTup.(,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,){-62q,p-}{i}
 279             {_@_ t{-aHm-}
 280              _@_ t{-aHo-}
 281              _@_ t{-aHq-}
 282              _@_ t{-aHm-}
 283              _@_ t{-aHo-}
 284              _@_ t{-aHq-}
 285              _@_ t{-aHm-}
 286              _@_ t{-aHo-}
 287              _@_ t{-aHq-}
 288              _@_ t{-aHm-}
 289              _@_ t{-aHo-}
 290              _@_ t{-aHq-}
 291              _@_ t{-aHm-}
 292              _@_ t{-aHo-}
 293              _@_ t{-aHq-}
 294              _@_ t{-aHm-}
 295              _@_ t{-aHo-}
 296              _@_ t{-aHq-}
 297              _@_ t{-aHm-}
 298              _@_ t{-aHo-}
 299              _@_ t{-aHq-}
 300              _@_ t{-aHm-}
 301              _@_ t{-aHo-}
 302              _@_ t{-aHq-}
 303              _@_ t{-aHm-}
 304              _@_ t{-aHo-}
 305              _@_ t{-aHq-}
 306              _@_ t{-aHm-}
 307              _@_ t{-aHo-}
 308              _@_ t{-aHq-}
 309              _@_ t{-aHm-}
 310              _@_ t{-aHo-}
 311              _@_ t{-aHq-}
 312              _@_ t{-aHm-}
 313              _@_ t{-aHo-}
 314              _@_ t{-aHq-}
 315              _@_ t{-aHm-}
 316              _@_ t{-aHo-}
 317              _@_ t{-aHq-}
 318              _@_ t{-aHm-}
 319              _@_ t{-aHo-}
 320              _@_ t{-aHq-}
 321              _@_ t{-aHm-}
 322              _@_ t{-aHo-}
 323              _@_ t{-aHq-}
 324              _@_ t{-aHm-}
 325              _@_ t{-aHo-}
 326              _@_ t{-aHq-}
 327              _@_ t{-aHm-}
 328              _@_ t{-aHo-}
 329              _@_ t{-aHq-}
 330              _@_ t{-aHm-}
 331              _@_ t{-aHo-}
 332              _@_ t{-aHq-}
 333              _@_ t{-aHm-}
 334              _@_ t{-aHo-}
 335              _@_ t{-aHq-}
 336              _@_ t{-aHm-}
 337              _@_ t{-aHo-}
 338              _@_ t{-aHq-}
 339              _@_ t{-aHm-}
 340              _@_ t{-aHo-}
 341              _@_ t{-aHq-}
 342              _@_ t{-aHm-}
 343              _@_ t{-aHo-}
 344              _@_ t{-aHq-}
 345              _@_ t{-aHm-}
 346              _@_ t{-aHo-}
 347              _@_ t{-aHq-}
 348              _@_ t{-aHm-}
 349              _@_ t{-aHo-}
 350              _@_ t{-aHq-}
 351              _@_ t{-aHm-}
 352              _@_ t{-aHo-}
 353              _@_ t{-aHq-}
 354              _@_ t{-aHm-}
 355              _@_ t{-aHo-}
 356              _@_ t{-aHq-}
 357              _@_ t{-aHm-}
 358              _@_ t{-aHo-}
 359              _@_ t{-aHq-}
 360              _@_ t{-aHm-}
 361              _@_ t{-aHo-}
 362              _@_ t{-aHq-}
 363              _@_ t{-aHm-}
 364              _@_ t{-aHo-}
 365              _@_ t{-aHq-}
 366              _@_ t{-aHm-}
 367              _@_ t{-aHo-}
 368              _@_ t{-aHq-}
 369              _@_ t{-aHm-}
 370              _@_ t{-aHo-}
 371              _@_ t{-aHq-}
 372              _@_ t{-aHm-}
 373              _@_ t{-aHo-}
 374              _@_ t{-aHq-}
 375              _@_ t{-aHm-}
 376              _@_ t{-aHo-}
 377              _@_ t{-aHq-}
 378              _@_ t{-aHm-}
 379              _@_ t{-aHo-}
 380              _@_ t{-aHq-}
 381              _@_ t{-aHm-}
 382              _@_ t{-aHo-}
 383              _@_ t{-aHq-}
 384              _@_ t{-aHm-}
 385              _@_ t{-aHo-}
 386              _@_ t{-aHq-}
 387              _@_ t{-aHm-}
 388              _@_ t{-aHo-}
 389              _@_ t{-aHq-}
 390              _@_ t{-aHm-}
 391              _@_ t{-aHo-}
 392              _@_ t{-aHq-}
 393              _@_ t{-aHm-}
 394              _@_ t{-aHo-}
 395              _@_ t{-aHq-}
 396              _@_ t{-aHm-}
 397              _@_ t{-aHo-}
 398              _@_ t{-aHq-}
 399              _@_ t{-aHm-}
 400              _@_ t{-aHo-}
 401              _@_ t{-aHq-}
 402              _@_ t{-aHm-}
 403              _@_ t{-aHo-}
 404              _@_ t{-aHq-}
 405              _@_ t{-aHm-}
 406              _@_ t{-aHo-}
 407              _@_ t{-aHq-}
 408              _@_ t{-aHm-}
 409              _@_ t{-aHo-}
 410              _@_ t{-aHq-}
 411              _@_ t{-aHm-}
 412              _@_ t{-aHo-}
 413              _@_ t{-aHq-}
 414              _@_ t{-aHm-}
 415              _@_ t{-aHo-}
 416              _@_ t{-aHq-}
 417              _@_ t{-aHm-}
 418              _@_ t{-aHo-}
 419              _@_ t{-aHq-}
 420              _@_ t{-aHm-}
 421              _@_ t{-aHo-}
 422              _@_ t{-aHq-}
 423              _@_ t{-aHm-}
 424              _@_ t{-aHo-}
 425              _@_ t{-aHq-}
 426              _@_ t{-aHm-}
 427              _@_ t{-aHo-}
 428              _@_ t{-aHq-}
 429              x_r3z
 430              y_r3B
 431              z_r3D
 432              x_r3z
 433              y_r3B
 434              z_r3D
 435              x_r3z
 436              y_r3B
 437              z_r3D
 438              x_r3z
 439              y_r3B
 440              z_r3D
 441              x_r3z
 442              y_r3B
 443              z_r3D
 444              x_r3z
 445              y_r3B
 446              z_r3D
 447              x_r3z
 448              y_r3B
 449              z_r3D
 450              x_r3z
 451              y_r3B
 452              z_r3D
 453              x_r3z
 454              y_r3B
 455              z_r3D
 456              x_r3z
 457              y_r3B
 458              z_r3D
 459              x_r3z
 460              y_r3B
 461              z_r3D
 462              x_r3z
 463              y_r3B
 464              z_r3D
 465              x_r3z
 466              y_r3B
 467              z_r3D
 468              x_r3z
 469              y_r3B
 470              z_r3D
 471              x_r3z
 472              y_r3B
 473              z_r3D
 474              x_r3z
 475              y_r3B
 476              z_r3D
 477              x_r3z
 478              y_r3B
 479              z_r3D
 480              x_r3z
 481              y_r3B
 482              z_r3D
 483              x_r3z
 484              y_r3B
 485              z_r3D
 486              x_r3z
 487              y_r3B
 488              z_r3D
 489              x_r3z
 490              y_r3B
 491              z_r3D
 492              x_r3z
 493              y_r3B
 494              z_r3D
 495              x_r3z
 496              y_r3B
 497              z_r3D
 498              x_r3z
 499              y_r3B
 500              z_r3D
 501              x_r3z
 502              y_r3B
 503              z_r3D
 504              x_r3z
 505              y_r3B
 506              z_r3D
 507              x_r3z
 508              y_r3B
 509              z_r3D
 510              x_r3z
 511              y_r3B
 512              z_r3D
 513              x_r3z
 514              y_r3B
 515              z_r3D
 516              x_r3z
 517              y_r3B
 518              z_r3D
 519              x_r3z
 520              y_r3B
 521              z_r3D
 522              x_r3z
 523              y_r3B
 524              z_r3D
 525              x_r3z
 526              y_r3B
 527              z_r3D
 528              x_r3z
 529              y_r3B
 530              z_r3D
 531              x_r3z
 532              y_r3B
 533              z_r3D
 534              x_r3z
 535              y_r3B
 536              z_r3D
 537              x_r3z
 538              y_r3B
 539              z_r3D
 540              x_r3z
 541              y_r3B
 542              z_r3D
 543              x_r3z
 544              y_r3B
 545              z_r3D
 546              x_r3z
 547              y_r3B
 548              z_r3D
 549              x_r3z
 550              y_r3B
 551              z_r3D
 552              x_r3z
 553              y_r3B
 554              z_r3D
 555              x_r3z
 556              y_r3B
 557              z_r3D
 558              x_r3z
 559              y_r3B
 560              z_r3D
 561              x_r3z
 562              y_r3B
 563              z_r3D
 564              x_r3z
 565              y_r3B
 566              z_r3D
 567              x_r3z
 568              y_r3B
 569              z_r3D
 570              x_r3z
 571              y_r3B
 572              z_r3D
 573              x_r3z
 574              y_r3B
 575              z_r3D
 576              x_r3z
 577              y_r3B
 578              z_r3D}
 579 g1{-r56,x-}  ::
 580     _forall_
 581     [t{-aHA-} t{-aHC-}]
 582     =>
 583     t{-aHA-} -> t{-aHC-} -> PrelBase.(){-40,p-}
 584 {-# L #-}
 585 g1{-r56,x-} =
 586     _/\_ t{-aHA-} t{-aHC-} -> \ x_r3v  ::
 587                                     t{-aHA-}
 588                                 {-# L #-}
 589                                 x_r3v y_r3x  ::
 590                                           t{-aHC-}
 591                                       {-# L #-}
 592                                       y_r3x ->
 593         PrelBase.(){-60,p-}{i}
 594 f2{-r57,x-}  ::
 595     _forall_
 596     [t{-aHO-} t{-aHQ-} t{-aHM-}]
 597     =>
 598     t{-aHO-} -> t{-aHQ-} -> [t{-aHM-}]
 599 {-# L #-}
 600 f2{-r57,x-} =
 601     _/\_ t{-aHO-} t{-aHQ-} t{-aHM-} -> \ x_r3r  ::
 602                                              t{-aHO-}
 603                                          {-# L #-}
 604                                          x_r3r y_r3t  ::
 605                                                    t{-aHQ-}
 606                                                {-# L #-}
 607                                                y_r3t ->
 608         PrelBase.[]{-5i,p-}{i}
 609             _@_ t{-aHM-}
 610 f{-r58,x-}  ::
 611     _forall_
 612     [t{-aI2-}]
 613     =>
 614     t{-aI2-} -> t{-aI2-} -> t{-aI2-} -> [t{-aI2-}]
 615 {-# L #-}
 616 f{-r58,x-} =
 617     _/\_ t{-aI2-} -> \ x_r3l  ::
 618                            t{-aI2-}
 619                        {-# L #-}
 620                        x_r3l y_r3n  ::
 621                                  t{-aI2-}
 622                              {-# L #-}
 623                              y_r3n z_r3p  ::
 624                                        t{-aI2-}
 625                                    {-# L #-}
 626                                    z_r3p ->
 627         let { ds_d1uJ  ::
 628                   [t{-aI2-}]
 629               {-# L #-}
 630               ds_d1uJ =
 631           let { ds_d1uV  ::
 632                     [t{-aI2-}]
 633                 {-# L #-}
 634                 ds_d1uV =
 635             let { ds_d1v7  ::
 636                       [t{-aI2-}]
 637                   {-# L #-}
 638                   ds_d1v7 =
 639               let { ds_d1vj  ::
 640                         [t{-aI2-}]
 641                     {-# L #-}
 642                     ds_d1vj =
 643                 let { ds_d1vv  ::
 644                           [t{-aI2-}]
 645                       {-# L #-}
 646                       ds_d1vv =
 647                   let {
 648                     ds_d1vH  ::
 649                         [t{-aI2-}]
 650                     {-# L #-}
 651                     ds_d1vH =
 652                         PrelBase.[]{-5i,p-}{i}
 653                             {_@_ t{-aI2-}}
 654                   } in
 655                     PrelBase.:{-55,p-}{i}
 656                         {_@_ t{-aI2-} z_r3p ds_d1vH}
 657                 } in
 658                 PrelBase.:{-55,p-}{i}
 659                     {_@_ t{-aI2-} y_r3n ds_d1vv}
 660               } in
 661               PrelBase.:{-55,p-}{i}
 662                   {_@_ t{-aI2-} x_r3l ds_d1vj}
 663             } in
 664             PrelBase.:{-55,p-}{i}
 665                 {_@_ t{-aI2-} z_r3p ds_d1v7}
 666           } in
 667           PrelBase.:{-55,p-}{i}
 668               {_@_ t{-aI2-} y_r3n ds_d1uV}
 669         } in
 670         PrelBase.:{-55,p-}{i}
 671             {_@_ t{-aI2-} x_r3l ds_d1uJ}