Changeset 1611


Ignore:
Timestamp:
Nov 26, 2004, 8:47:57 AM (16 years ago)
Author:
orlov
Message:
  • Fixed variables renaming.
Location:
to-imperative/trunk
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • to-imperative/trunk/bootstrap/compiler/rfp_compile.cc

    r1599 r1611  
    175175static Expr _c_16;
    176176
     177static Expr _c_133;
     178
     179static Expr _c_17;
     180
     181static Expr _c_18;
     182
     183static Expr _c_19;
     184
     185static Expr _c_140;
     186
     187static Expr _c_141;
     188
     189static Expr _c_142;
     190
     191static Expr _c_20;
     192
     193static Expr _c_21;
     194
     195static Expr _c_22;
     196
     197static Expr _c_143;
     198
     199static Expr _c_23;
     200
     201static Expr _c_24;
     202
     203static Expr _c_25;
     204
     205static Expr _c_26;
     206
     207static Expr _c_27;
     208
     209static Expr _c_28;
     210
     211static Expr _c_29;
     212
     213static Expr _c_46;
     214
     215static Expr _c_30;
     216
     217static Expr _c_31;
     218
     219static Expr _c_32;
     220
     221static Expr _c_33;
     222
     223static Expr _c_34;
     224
     225static Expr _c_35;
     226
     227static Expr _c_36;
     228
     229static Expr _c_37;
     230
     231static Expr _c_38;
     232
     233static Expr _c_39;
     234
     235static Expr _c_40;
     236
     237static Expr _c_41;
     238
     239static Expr _c_42;
     240
     241static Expr _c_43;
     242
     243static Expr _c_95;
     244
     245static Expr _c_44;
     246
     247static Expr _c_45;
     248
     249static Expr _c_47;
     250
     251static Expr _c_66;
     252
     253static Expr _c_48;
     254
     255static Expr _c_49;
     256
     257static Expr _c_50;
     258
     259static Expr _c_51;
     260
     261static Expr _c_52;
     262
     263static Expr _c_53;
     264
     265static Expr _c_54;
     266
     267static Expr _c_55;
     268
     269static Expr _c_56;
     270
     271static Expr _c_57;
     272
     273static Expr _c_58;
     274
     275static Expr _c_59;
     276
     277static Expr _c_82;
     278
     279static Expr _c_60;
     280
     281static Expr _c_61;
     282
     283static Expr _c_62;
     284
     285static Expr _c_63;
     286
     287static Expr _c_64;
     288
     289static Expr _c_65;
     290
     291static Expr _c_67;
     292
     293static Expr _c_68;
     294
     295static Expr _c_69;
     296
     297static Expr _c_70;
     298
     299static Expr _c_71;
     300
     301static Expr _c_72;
     302
     303static Expr _c_73;
     304
     305static Expr _c_74;
     306
     307static Expr _c_75;
     308
     309static Expr _c_76;
     310
     311static Expr _c_77;
     312
     313static Expr _c_78;
     314
     315static Expr _c_79;
     316
     317static Expr _c_80;
     318
     319static Expr _c_81;
     320
     321static Expr _c_83;
     322
     323static Expr _c_84;
     324
     325static Expr _c_85;
     326
     327static Expr _c_86;
     328
     329static Expr _c_87;
     330
     331static Expr _c_88;
     332
     333static Expr _c_89;
     334
     335static Expr _c_90;
     336
     337static Expr _c_91;
     338
     339static Expr _c_92;
     340
     341static Expr _c_93;
     342
     343static Expr _c_94;
     344
     345static Expr _c_96;
     346
     347static Expr _c_97;
     348
     349static Expr _c_98;
     350
     351static Expr _c_99;
     352
     353static Expr _c_100;
     354
     355static Expr _c_127;
     356
     357static Expr _c_101;
     358
     359static Expr _c_102;
     360
     361static Expr _c_103;
     362
     363static Expr _c_104;
     364
     365static Expr _c_105;
     366
     367static Expr _c_106;
     368
     369static Expr _c_107;
     370
     371static Expr _c_108;
     372
     373static Expr _c_109;
     374
     375static Expr _c_110;
     376
     377static Expr _c_111;
     378
     379static Expr _c_112;
     380
     381static Expr _c_113;
     382
     383static Expr _c_114;
     384
     385static Expr _c_115;
     386
     387static Expr _c_116;
     388
     389static Expr _c_117;
     390
     391static Expr _c_118;
     392
     393static Expr _c_119;
     394
     395static Expr _c_120;
     396
     397static Expr _c_121;
     398
     399static Expr _c_122;
     400
     401static Expr _c_123;
     402
     403static Expr _c_124;
     404
     405static Expr _c_125;
     406
     407static Expr _c_126;
     408
     409static Expr _c_128;
     410
     411static Expr _c_129;
     412
     413static Expr _c_130;
     414
     415static Expr _c_131;
     416
     417static Expr _c_132;
     418
    177419static Expr _c_134;
    178420
    179 static Expr _c_17;
    180 
    181 static Expr _c_18;
    182 
    183 static Expr _c_19;
    184 
    185 static Expr _c_141;
    186 
    187 static Expr _c_142;
    188 
    189 static Expr _c_143;
    190 
    191 static Expr _c_20;
    192 
    193 static Expr _c_21;
    194 
    195 static Expr _c_22;
    196 
    197 static Expr _c_144;
    198 
    199 static Expr _c_23;
    200 
    201 static Expr _c_24;
    202 
    203 static Expr _c_25;
    204 
    205 static Expr _c_26;
    206 
    207 static Expr _c_27;
    208 
    209 static Expr _c_28;
    210 
    211 static Expr _c_29;
    212 
    213 static Expr _c_46;
    214 
    215 static Expr _c_30;
    216 
    217 static Expr _c_31;
    218 
    219 static Expr _c_32;
    220 
    221 static Expr _c_33;
    222 
    223 static Expr _c_34;
    224 
    225 static Expr _c_35;
    226 
    227 static Expr _c_36;
    228 
    229 static Expr _c_37;
    230 
    231 static Expr _c_38;
    232 
    233 static Expr _c_39;
    234 
    235 static Expr _c_40;
    236 
    237 static Expr _c_41;
    238 
    239 static Expr _c_42;
    240 
    241 static Expr _c_43;
    242 
    243 static Expr _c_95;
    244 
    245 static Expr _c_44;
    246 
    247 static Expr _c_45;
    248 
    249 static Expr _c_47;
    250 
    251 static Expr _c_66;
    252 
    253 static Expr _c_48;
    254 
    255 static Expr _c_49;
    256 
    257 static Expr _c_50;
    258 
    259 static Expr _c_51;
    260 
    261 static Expr _c_52;
    262 
    263 static Expr _c_53;
    264 
    265 static Expr _c_54;
    266 
    267 static Expr _c_55;
    268 
    269 static Expr _c_56;
    270 
    271 static Expr _c_57;
    272 
    273 static Expr _c_58;
    274 
    275 static Expr _c_59;
    276 
    277 static Expr _c_82;
    278 
    279 static Expr _c_60;
    280 
    281 static Expr _c_61;
    282 
    283 static Expr _c_62;
    284 
    285 static Expr _c_63;
    286 
    287 static Expr _c_64;
    288 
    289 static Expr _c_65;
    290 
    291 static Expr _c_67;
    292 
    293 static Expr _c_68;
    294 
    295 static Expr _c_69;
    296 
    297 static Expr _c_70;
    298 
    299 static Expr _c_71;
    300 
    301 static Expr _c_72;
    302 
    303 static Expr _c_73;
    304 
    305 static Expr _c_74;
    306 
    307 static Expr _c_75;
    308 
    309 static Expr _c_76;
    310 
    311 static Expr _c_77;
    312 
    313 static Expr _c_78;
    314 
    315 static Expr _c_79;
    316 
    317 static Expr _c_80;
    318 
    319 static Expr _c_81;
    320 
    321 static Expr _c_83;
    322 
    323 static Expr _c_84;
    324 
    325 static Expr _c_85;
    326 
    327 static Expr _c_86;
    328 
    329 static Expr _c_87;
    330 
    331 static Expr _c_88;
    332 
    333 static Expr _c_89;
    334 
    335 static Expr _c_90;
    336 
    337 static Expr _c_91;
    338 
    339 static Expr _c_92;
    340 
    341 static Expr _c_93;
    342 
    343 static Expr _c_94;
    344 
    345 static Expr _c_96;
    346 
    347 static Expr _c_97;
    348 
    349 static Expr _c_98;
    350 
    351 static Expr _c_99;
    352 
    353 static Expr _c_100;
    354 
    355 static Expr _c_101;
    356 
    357 static Expr _c_128;
    358 
    359 static Expr _c_102;
    360 
    361 static Expr _c_103;
    362 
    363 static Expr _c_104;
    364 
    365 static Expr _c_105;
    366 
    367 static Expr _c_106;
    368 
    369 static Expr _c_107;
    370 
    371 static Expr _c_108;
    372 
    373 static Expr _c_109;
    374 
    375 static Expr _c_110;
    376 
    377 static Expr _c_111;
    378 
    379 static Expr _c_112;
    380 
    381 static Expr _c_113;
    382 
    383 static Expr _c_114;
    384 
    385 static Expr _c_115;
    386 
    387 static Expr _c_116;
    388 
    389 static Expr _c_117;
    390 
    391 static Expr _c_118;
    392 
    393 static Expr _c_119;
    394 
    395 static Expr _c_120;
    396 
    397 static Expr _c_121;
    398 
    399 static Expr _c_122;
    400 
    401 static Expr _c_123;
    402 
    403 static Expr _c_124;
    404 
    405 static Expr _c_125;
    406 
    407 static Expr _c_126;
    408 
    409 static Expr _c_127;
    410 
    411 static Expr _c_129;
    412 
    413 static Expr _c_130;
    414 
    415 static Expr _c_131;
    416 
    417 static Expr _c_132;
    418 
    419 static Expr _c_133;
    420 
    421421static Expr _c_135;
    422422
     
    428428
    429429static Expr _c_139;
    430 
    431 static Expr _c_140;
    432430
    433431RF_FUNC (RFP_m_Compile, (RF_ARG _ve_Items;;), (RF_RES _v_res1;;))
     
    34263424RF_END
    34273425
    3428 RF_FUNC (Comp_m_Assign_m_to_m_Var, (RF_ARG _v_arg1;;), (RF_RES _v_res1;;))
    3429   if ((_v_arg1.get_len () != 1))
    3430   {
    3431     RF_ERROR (Word::create_expr ("rfp_compile") + Word::create_expr ("Comp-Assign-to-Var") + unexpected_fail);
    3432   }
    3433   if (_v_arg1.symbol_at (0))
    3434   {
    3435     RF_ERROR (Word::create_expr ("rfp_compile") + Word::create_expr ("Comp-Assign-to-Var") + unexpected_fail);
    3436   }
    3437   Expr _v_deref__arg1 (_v_arg1, 0);
    3438   if ((_v_deref__arg1.get_len () != 2))
    3439   {
    3440     RF_ERROR (Word::create_expr ("rfp_compile") + Word::create_expr ("Comp-Assign-to-Var") + unexpected_fail);
    3441   }
    3442   if (_v_deref__arg1.symbol_at (1))
    3443   {
    3444     RF_ERROR (Word::create_expr ("rfp_compile") + Word::create_expr ("Comp-Assign-to-Var") + unexpected_fail);
    3445   }
    3446   Expr _v_deref__deref__arg1 (_v_deref__arg1, 1);
    3447   uintptr_t _v_len1 = _v_deref__deref__arg1.get_len ();
    3448   uintptr_t _v_len2 = 0;
    3449   if ((_v_len1 < _v_len2))
    3450   {
    3451     RF_ERROR (Word::create_expr ("rfp_compile") + Word::create_expr ("Comp-Assign-to-Var") + unexpected_fail);
    3452   }
    3453   uintptr_t _v_len__Re = (_v_len1 - _v_len2);
    3454   Expr _vt_var (_v_deref__arg1, 0, 1);
    3455   Expr _ve_Re (_v_deref__deref__arg1, 0, _v_len__Re);
    3456   {
    3457     {
    3458       if ((1 != _v_len__Re))
     3426RF_FUNC (Comp_m_Assign_m_to_m_Var, (RF_ARG _vt_var, _ve_Re, _ve_assigned_m_vars;;), (RF_RES _v_res1, _v_res2;;))
     3427  {
     3428    {
     3429      if ((1 != _ve_Re.get_len ()))
    34593430      {
    34603431        goto _block1__branch1;
     
    34653436      }
    34663437      _v_res1 = empty;
     3438      _v_res2 = empty;
    34673439      goto _block1;
    34683440    }
     
    34793451        goto _block1__branch3;
    34803452      }
     3453      {
     3454        if ((_ve_assigned_m_vars.get_len () < 1))
     3455        {
     3456          goto _negation1;
     3457        }
     3458        lsplit (_ve_assigned_m_vars, 0, _ve__e__e_tmp_m_rfp__compilerf_m_765_m_56, _v_lsplit__assigned_m_vars);
     3459        for ( ; ; iter(_ve_assigned_m_vars)++)
     3460        {
     3461          {
     3462            if (!iter(_ve_assigned_m_vars))
     3463            {
     3464              goto _negation1;
     3465            }
     3466            uintptr_t _v_len1 = _v_lsplit__assigned_m_vars.get_len ();
     3467            uintptr_t _v_len2 = 1;
     3468            if ((_v_len1 < _v_len2))
     3469            {
     3470              goto _negation1;
     3471            }
     3472            uintptr_t _v_len___e__e_tmp_m_rfp__compilerf_m_765_m_64 = (_v_len1 - _v_len2);
     3473            if (!_vt_var.term_eq (_v_lsplit__assigned_m_vars, 0))
     3474            {
     3475              goto _continue1;
     3476            }
     3477            Expr _ve__e__e_tmp_m_rfp__compilerf_m_765_m_64 (_v_lsplit__assigned_m_vars, 1, _v_len___e__e_tmp_m_rfp__compilerf_m_765_m_64);
     3478            goto _exit1;
     3479          }
     3480      _continue1: {}
     3481        }
     3482      _exit1: {}
     3483        goto _block1__branch3;
     3484      }
     3485    _negation1: {}
    34813486      RF_CALL (rfp__vars::Gener_m_Var_m_Assign, (_vt_var, _ve_Re), /*void*/);
    34823487      _v_res1 = empty;
     3488      _v_res2 = empty;
    34833489      goto _block1;
    34843490    }
     
    34983504        goto _block1__branch4;
    34993505      }
    3500       Expr _vs__e__e_tmp_m_rfp__compilerf_m_766_m_29 (_v_Get_m_Var1, 0, 1);
     3506      Expr _vs__e__e_tmp_m_rfp__compilerf_m_767_m_29 (_v_Get_m_Var1, 0, 1);
    35013507      Expr _v_Vars_m_Print1;
    35023508      RF_CALL (rfp__vars::Vars_m_Print, _vt_var, _v_Vars_m_Print1);
     3509      RF_CALL (rfp__vars::Vars, _ve_Re, _v_res2);
    35033510      _v_res1 = (_c_41 + _v_Vars_m_Print1 + _ve_Re) ();
    35043511      goto _block1;
     
    35133520      RF_ERROR (Word::create_expr ("rfp_compile") + Word::create_expr ("Comp-Assign-to-Var") + unexpected_fail);
    35143521    }
    3515     uintptr_t _v_len___e__e_tmp_m_rfp__compilerf_m_767_m_26 = (_v_len3 - _v_len4);
    3516     Expr _ve__e__e_tmp_m_rfp__compilerf_m_767_m_26 (_v_Vars_m_Decl1, 0, _v_len___e__e_tmp_m_rfp__compilerf_m_767_m_26);
     3522    uintptr_t _v_len___e__e_tmp_m_rfp__compilerf_m_768_m_26 = (_v_len3 - _v_len4);
     3523    Expr _ve__e__e_tmp_m_rfp__compilerf_m_768_m_26 (_v_Vars_m_Decl1, 0, _v_len___e__e_tmp_m_rfp__compilerf_m_768_m_26);
    35173524    Expr _v_Vars_m_Print2;
    35183525    RF_CALL (rfp__vars::Vars_m_Print, _vt_var, _v_Vars_m_Print2);
     3526    RF_CALL (rfp__vars::Vars, _ve_Re, _v_res2);
    35193527    _v_res1 = (_c_31 + _v_Vars_m_Print2 + _ve_Re) ();
    35203528  }
     
    35233531
    35243532RF_FUNC (Comp_m_Assigns, (RF_ARG _ve_assigns;;), (RF_RES _v_res1;;))
    3525   RF_TAILCALL (rfp__list::Map, (_c_96, empty, _ve_assigns), _v_res1);
     3533  Expr _v_assigns__1 (_ve_assigns);
     3534  Expr _ve_assigned_m_vars (empty);
     3535  Expr _ve_comp_m_assigns (empty);
     3536  for ( ; ; )
     3537  {
     3538    {
     3539      if ((_v_assigns__1.get_len () != 0))
     3540      {
     3541        goto _iter1;
     3542      }
     3543      _v_res1 = _ve_comp_m_assigns;
     3544      goto _exit__iter1;
     3545    }
     3546  _iter1: {}
     3547    uintptr_t _v_len1 = _v_assigns__1.get_len ();
     3548    uintptr_t _v_len2 = 1;
     3549    if ((_v_len1 < _v_len2))
     3550    {
     3551      RF_ERROR (Word::create_expr ("rfp_compile") + Word::create_expr ("Comp-Assigns") + unexpected_fail);
     3552    }
     3553    uintptr_t _v_len__rest = (_v_len1 - _v_len2);
     3554    if (_v_assigns__1.symbol_at (0))
     3555    {
     3556      RF_ERROR (Word::create_expr ("rfp_compile") + Word::create_expr ("Comp-Assigns") + unexpected_fail);
     3557    }
     3558    Expr _v_deref__assigns__1 (_v_assigns__1, 0);
     3559    if ((_v_deref__assigns__1.get_len () != 2))
     3560    {
     3561      RF_ERROR (Word::create_expr ("rfp_compile") + Word::create_expr ("Comp-Assigns") + unexpected_fail);
     3562    }
     3563    if (_v_deref__assigns__1.symbol_at (1))
     3564    {
     3565      RF_ERROR (Word::create_expr ("rfp_compile") + Word::create_expr ("Comp-Assigns") + unexpected_fail);
     3566    }
     3567    Expr _v_deref__deref__assigns__1 (_v_deref__assigns__1, 1);
     3568    uintptr_t _v_len3 = _v_deref__deref__assigns__1.get_len ();
     3569    uintptr_t _v_len4 = 0;
     3570    if ((_v_len3 < _v_len4))
     3571    {
     3572      RF_ERROR (Word::create_expr ("rfp_compile") + Word::create_expr ("Comp-Assigns") + unexpected_fail);
     3573    }
     3574    uintptr_t _v_len__Re = (_v_len3 - _v_len4);
     3575    Expr _ve_rest (_v_assigns__1, 1, _v_len__rest);
     3576    Expr _vt_var (_v_deref__assigns__1, 0, 1);
     3577    Expr _ve_Re (_v_deref__deref__assigns__1, 0, _v_len__Re);
     3578    Expr _ve_c_m_as;
     3579    Expr _ve_a_m_vs;
     3580    RF_CALL (Comp_m_Assign_m_to_m_Var, (_vt_var, _ve_Re, _ve_assigned_m_vars), (_ve_c_m_as, _ve_a_m_vs));
     3581    _v_assigns__1 = _ve_rest;
     3582    _ve_assigned_m_vars = (_ve_assigned_m_vars + _ve_a_m_vs);
     3583    _ve_comp_m_assigns = (_ve_comp_m_assigns + _ve_c_m_as);
     3584  }
     3585_exit__iter1: {}
    35263586RF_END
    35273587
     
    35413601  RF_CALL (Arithm::_p_, (_vs_n, _c_83), _v__p_1);
    35423602  RF_CALL (Box::Store, (Aux_m_Index, _v__p_1), /*void*/);
    3543   _v_res1 = (_c_40 + (_c_97 + _vs_n) ()) ();
     3603  _v_res1 = (_c_40 + (_c_96 + _vs_n) ()) ();
    35443604RF_END
    35453605
     
    35863646RF_FUNC (Create_m_Aux_m_Vars, (RF_ARG _ve_vars, _ve_splited_m_Re;;), (RF_RES _v_res1;;))
    35873647  Expr _v_Map1;
    3588   RF_CALL (rfp__list::Map, (_c_98, empty, _ve_splited_m_Re), _v_Map1);
     3648  RF_CALL (rfp__list::Map, (_c_97, empty, _ve_splited_m_Re), _v_Map1);
    35893649  Expr _ve_list;
    35903650  RF_CALL (rfp__list::Zip, (_v_Map1, _ve_vars), _ve_list);
     
    36223682            goto _block2__branch1;
    36233683          }
    3624           lsplit (_ve_list, 0, _ve__e__e_tmp_m_rfp__compilerf_m_891_m_19, _v_lsplit__list);
     3684          lsplit (_ve_list, 0, _ve__e__e_tmp_m_rfp__compilerf_m_899_m_19, _v_lsplit__list);
    36253685          for ( ; ; iter(_ve_list)++)
    36263686          {
     
    36363696                goto _block2__branch1;
    36373697              }
    3638               uintptr_t _v_len___e__e_tmp_m_rfp__compilerf_m_891_m_43 = (_v_len3 - _v_len4);
     3698              uintptr_t _v_len___e__e_tmp_m_rfp__compilerf_m_899_m_43 = (_v_len3 - _v_len4);
    36393699              if (_v_lsplit__list.symbol_at (0))
    36403700              {
     
    36583718              }
    36593719              uintptr_t _v_len__vars_m_Re = (_v_len5 - _v_len6);
    3660               Expr _ve__e__e_tmp_m_rfp__compilerf_m_891_m_43 (_v_lsplit__list, 1, _v_len___e__e_tmp_m_rfp__compilerf_m_891_m_43);
     3720              Expr _ve__e__e_tmp_m_rfp__compilerf_m_899_m_43 (_v_lsplit__list, 1, _v_len___e__e_tmp_m_rfp__compilerf_m_899_m_43);
    36613721              Expr _vt_var_m_j (_v_deref__lsplit__list, 1, 1);
    36623722              Expr _ve_vars_m_Re (_v_deref__deref__lsplit__list, 0, _v_len__vars_m_Re);
     
    36773737                  goto _continue2;
    36783738                }
    3679                 lsplit (_ve_vars_m_Re, 0, _ve__e__e_tmp_m_rfp__compilerf_m_894_m_26, _v_lsplit__vars_m_Re);
     3739                lsplit (_ve_vars_m_Re, 0, _ve__e__e_tmp_m_rfp__compilerf_m_902_m_26, _v_lsplit__vars_m_Re);
    36803740                for ( ; ; iter(_ve_vars_m_Re)++)
    36813741                {
     
    36913751                      goto _continue2;
    36923752                    }
    3693                     uintptr_t _v_len___e__e_tmp_m_rfp__compilerf_m_894_m_36 = (_v_len7 - _v_len8);
     3753                    uintptr_t _v_len___e__e_tmp_m_rfp__compilerf_m_902_m_36 = (_v_len7 - _v_len8);
    36943754                    if (!_vt_var_m_i.term_eq (_v_lsplit__vars_m_Re, 0))
    36953755                    {
    36963756                      goto _continue3;
    36973757                    }
    3698                     Expr _ve__e__e_tmp_m_rfp__compilerf_m_894_m_36 (_v_lsplit__vars_m_Re, 1, _v_len___e__e_tmp_m_rfp__compilerf_m_894_m_36);
     3758                    Expr _ve__e__e_tmp_m_rfp__compilerf_m_902_m_36 (_v_lsplit__vars_m_Re, 1, _v_len___e__e_tmp_m_rfp__compilerf_m_902_m_36);
    36993759                    RF_CALL (rfp__helper::Put, (_vs_provide_m_i, _vt_var_m_j), /*void*/);
    37003760                    goto _exit3;
     
    37953855            }
    37963856            Expr _v_compose1 ((_ve_1 + _ve_2));
    3797             lsplit (_v_compose1, 0, _ve__e__e_tmp_m_rfp__compilerf_m_929_m_16, _v_lsplit__compose1);
     3857            lsplit (_v_compose1, 0, _ve__e__e_tmp_m_rfp__compilerf_m_937_m_16, _v_lsplit__compose1);
    37983858            for ( ; ; iter(_v_compose1)++)
    37993859            {
     
    38093869                  goto _block2__branch1;
    38103870                }
    3811                 uintptr_t _v_len___e__e_tmp_m_rfp__compilerf_m_929_m_63 = (_v_len5 - _v_len6);
     3871                uintptr_t _v_len___e__e_tmp_m_rfp__compilerf_m_937_m_63 = (_v_len5 - _v_len6);
    38123872                if (_v_lsplit__compose1.symbol_at (0))
    38133873                {
     
    38433903                }
    38443904                uintptr_t _v_len__provide_m_j = (_v_len9 - _v_len10);
    3845                 Expr _ve__e__e_tmp_m_rfp__compilerf_m_929_m_63 (_v_lsplit__compose1, 1, _v_len___e__e_tmp_m_rfp__compilerf_m_929_m_63);
     3905                Expr _ve__e__e_tmp_m_rfp__compilerf_m_937_m_63 (_v_lsplit__compose1, 1, _v_len___e__e_tmp_m_rfp__compilerf_m_937_m_63);
    38463906                Expr _vt_var_m_j (_v_deref__lsplit__compose1, 0, 1);
    38473907                Expr _vt_Re_m_j (_v_deref__lsplit__compose1, 1, 1);
     
    41044164    RF_ERROR (Word::create_expr ("rfp_compile") + Word::create_expr ("Extract-Assigns") + unexpected_fail);
    41054165  }
    4106   uintptr_t _v_len___e__e_tmp_m_rfp__compilerf_m_989_m_30 = (_v_len1 - _v_len2);
     4166  uintptr_t _v_len___e__e_tmp_m_rfp__compilerf_m_997_m_30 = (_v_len1 - _v_len2);
    41074167  Expr _vt_var (_v_deref__arg1, 0, 1);
    41084168  Expr _vt_Re (_v_deref__arg1, 1, 1);
    4109   Expr _ve__e__e_tmp_m_rfp__compilerf_m_989_m_30 (_v_deref__arg1, 2, _v_len___e__e_tmp_m_rfp__compilerf_m_989_m_30);
     4169  Expr _ve__e__e_tmp_m_rfp__compilerf_m_997_m_30 (_v_deref__arg1, 2, _v_len___e__e_tmp_m_rfp__compilerf_m_997_m_30);
    41104170  _v_res1 = (_vt_var + _vt_Re) ();
    41114171RF_END
     
    41304190        goto _block1__branch1;
    41314191      }
    4132       uintptr_t _v_len___e__e_tmp_m_rfp__compilerf_m_1007_m_19 = (_v_len1 - _v_len2);
    4133       Expr _vt__e__e_tmp_m_rfp__compilerf_m_1007_m_15 (_v_vars__1, 0, 1);
    4134       Expr _vt__e__e_tmp_m_rfp__compilerf_m_1007_m_17 (_v_vars__1, 1, 1);
    4135       Expr _ve__e__e_tmp_m_rfp__compilerf_m_1007_m_19 (_v_vars__1, 2, _v_len___e__e_tmp_m_rfp__compilerf_m_1007_m_19);
     4192      uintptr_t _v_len___e__e_tmp_m_rfp__compilerf_m_1015_m_19 = (_v_len1 - _v_len2);
     4193      Expr _vt__e__e_tmp_m_rfp__compilerf_m_1015_m_15 (_v_vars__1, 0, 1);
     4194      Expr _vt__e__e_tmp_m_rfp__compilerf_m_1015_m_17 (_v_vars__1, 1, 1);
     4195      Expr _ve__e__e_tmp_m_rfp__compilerf_m_1015_m_19 (_v_vars__1, 2, _v_len___e__e_tmp_m_rfp__compilerf_m_1015_m_19);
    41364196      Expr _v_Foldr11;
    4137       RF_CALL (rfp__list::Foldr1, (_c_99, empty, _v_vars__1), _v_Foldr11);
     4197      RF_CALL (rfp__list::Foldr1, (_c_98, empty, _v_vars__1), _v_Foldr11);
    41384198      if ((_v_Foldr11.get_len () != 1))
    41394199      {
     
    41514211        RF_ERROR (Word::create_expr ("rfp_compile") + Word::create_expr ("CAV") + unexpected_fail);
    41524212      }
    4153       uintptr_t _v_len___e__e_tmp_m_rfp__compilerf_m_1008_m_53 = (_v_len3 - _v_len4);
     4213      uintptr_t _v_len___e__e_tmp_m_rfp__compilerf_m_1016_m_53 = (_v_len3 - _v_len4);
    41544214      Expr _vt_var (_v_deref__Foldr11, 0, 1);
    41554215      Expr _vt_Re (_v_deref__Foldr11, 1, 1);
    4156       Expr _ve__e__e_tmp_m_rfp__compilerf_m_1008_m_53 (_v_deref__Foldr11, 2, _v_len___e__e_tmp_m_rfp__compilerf_m_1008_m_53);
     4216      Expr _ve__e__e_tmp_m_rfp__compilerf_m_1016_m_53 (_v_deref__Foldr11, 2, _v_len___e__e_tmp_m_rfp__compilerf_m_1016_m_53);
    41574217      Expr _vt_aux;
    41584218      RF_CALL (Gener_m_Aux_m_Var, /*void*/, _vt_aux);
    41594219      Expr _v_assigns__0__1 ((_v_assigns__1 + (_vt_aux + _vt_var ()) () + (_vt_var + _vt_Re) ()));
    41604220      Expr _v_vars__0__1;
    4161       RF_CALL (rfp__list::Map, (_c_100, (_vt_var + _vt_aux), _v_vars__1), _v_vars__0__1);
     4221      RF_CALL (rfp__list::Map, (_c_99, (_vt_var + _vt_aux), _v_vars__1), _v_vars__0__1);
    41624222      Expr _v_delayed__0__1;
    4163       RF_CALL (rfp__list::Map, (_c_100, (_vt_var + _vt_aux), _v_delayed__1), _v_delayed__0__1);
     4223      RF_CALL (rfp__list::Map, (_c_99, (_vt_var + _vt_aux), _v_delayed__1), _v_delayed__0__1);
    41644224      RF_TAILCALL (CAV, (_v_vars__0__1, _v_assigns__0__1, _v_delayed__0__1), _v_res1);
    41654225      goto _block1;
     
    41674227  _block1__branch1: {}
    41684228    Expr _v_Map1;
    4169     RF_CALL (rfp__list::Map, (_c_101, empty, (_v_vars__1 + _v_delayed__1)), _v_Map1);
     4229    RF_CALL (rfp__list::Map, (_c_100, empty, (_v_vars__1 + _v_delayed__1)), _v_Map1);
    41704230    _v_res1 = (_v_assigns__1 + _v_Map1);
    41714231  }
     
    42124272              goto _block2__branch1;
    42134273            }
    4214             uintptr_t _v_len___e__e_tmp_m_rfp__compilerf_m_1036_m_31 = (_v_len5 - _v_len6);
     4274            uintptr_t _v_len___e__e_tmp_m_rfp__compilerf_m_1044_m_31 = (_v_len5 - _v_len6);
    42154275            if (_ve_Snt.symbol_at (0))
    42164276            {
     
    42294289              goto _block2__branch1;
    42304290            }
    4231             uintptr_t _v_len___e__e_tmp_m_rfp__compilerf_m_1036_m_28 = (_v_len7 - _v_len8);
     4291            uintptr_t _v_len___e__e_tmp_m_rfp__compilerf_m_1044_m_28 = (_v_len7 - _v_len8);
    42324292            uintptr_t _v_len9 = _v_deref__Snt.get_len ();
    42334293            uintptr_t _v_len10 = 1;
     
    42454305              goto _block2__branch1;
    42464306            }
    4247             Expr _ve__e__e_tmp_m_rfp__compilerf_m_1036_m_31 (_ve_Snt, 2, _v_len___e__e_tmp_m_rfp__compilerf_m_1036_m_31);
     4307            Expr _ve__e__e_tmp_m_rfp__compilerf_m_1044_m_31 (_ve_Snt, 2, _v_len___e__e_tmp_m_rfp__compilerf_m_1044_m_31);
    42484308            _ve_Re = Expr (_v_deref__Snt, 1, _v_len__Re);
    4249             Expr _ve__e__e_tmp_m_rfp__compilerf_m_1036_m_28 (_v_deref__Snt2, 1, _v_len___e__e_tmp_m_rfp__compilerf_m_1036_m_28);
     4309            Expr _ve__e__e_tmp_m_rfp__compilerf_m_1044_m_28 (_v_deref__Snt2, 1, _v_len___e__e_tmp_m_rfp__compilerf_m_1044_m_28);
    42504310            goto _block2;
    42514311          }
     
    42574317            goto _negation1;
    42584318          }
    4259           uintptr_t _v_len___e__e_tmp_m_rfp__compilerf_m_1037_m_32 = (_v_len11 - _v_len12);
     4319          uintptr_t _v_len___e__e_tmp_m_rfp__compilerf_m_1045_m_32 = (_v_len11 - _v_len12);
    42604320          if (_ve_Snt.symbol_at (0))
    42614321          {
     
    42744334            goto _negation1;
    42754335          }
    4276           uintptr_t _v_len___e__e_tmp_m_rfp__compilerf_m_1037_m_29 = (_v_len13 - _v_len14);
     4336          uintptr_t _v_len___e__e_tmp_m_rfp__compilerf_m_1045_m_29 = (_v_len13 - _v_len14);
    42774337          uintptr_t _v_len15 = _v_deref__Snt3.get_len ();
    42784338          uintptr_t _v_len16 = 1;
     
    42904350            goto _negation1;
    42914351          }
    4292           Expr _ve__e__e_tmp_m_rfp__compilerf_m_1037_m_32 (_ve_Snt, 2, _v_len___e__e_tmp_m_rfp__compilerf_m_1037_m_32);
     4352          Expr _ve__e__e_tmp_m_rfp__compilerf_m_1045_m_32 (_ve_Snt, 2, _v_len___e__e_tmp_m_rfp__compilerf_m_1045_m_32);
    42934353          _ve_Re = Expr (_v_deref__Snt3, 1, _v_len__Re2);
    4294           Expr _ve__e__e_tmp_m_rfp__compilerf_m_1037_m_29 (_v_deref__Snt4, 1, _v_len___e__e_tmp_m_rfp__compilerf_m_1037_m_29);
     4354          Expr _ve__e__e_tmp_m_rfp__compilerf_m_1045_m_29 (_v_deref__Snt4, 1, _v_len___e__e_tmp_m_rfp__compilerf_m_1045_m_29);
    42954355        }
    42964356      _block2: {}
     
    43854445    RF_CALL (rfp__vars::Vars, (_ve_R1 + _ve_P1), _v_Vars1);
    43864446    Expr _v_Map1;
    4387     RF_CALL (rfp__list::Map, (_c_22, _c_102, _v_Vars1), _v_Map1);
     4447    RF_CALL (rfp__list::Map, (_c_22, _c_101, _v_Vars1), _v_Map1);
    43884448    uintptr_t _v_len27 = _v_Map1.get_len ();
    43894449    uintptr_t _v_len28 = 0;
     
    43924452      RF_ERROR (Word::create_expr ("rfp_compile") + Word::create_expr ("Get-Clash-Sequence") + unexpected_fail);
    43934453    }
    4394     uintptr_t _v_len___e__e_tmp_m_rfp__compilerf_m_1031_m_57 = (_v_len27 - _v_len28);
    4395     Expr _ve__e__e_tmp_m_rfp__compilerf_m_1031_m_57 (_v_Map1, 0, _v_len___e__e_tmp_m_rfp__compilerf_m_1031_m_57);
     4454    uintptr_t _v_len___e__e_tmp_m_rfp__compilerf_m_1039_m_57 = (_v_len27 - _v_len28);
     4455    Expr _ve__e__e_tmp_m_rfp__compilerf_m_1039_m_57 (_v_Map1, 0, _v_len___e__e_tmp_m_rfp__compilerf_m_1039_m_57);
    43964456    _ve_clashes = (_ve_clashes + _ve_R1 () + (_vs_dir + _ve_P1) ());
    43974457    _ve_Snt = _ve_rest;
     
    44344494          goto _block2__branch1;
    44354495        }
    4436         uintptr_t _v_len___e__e_tmp_m_rfp__compilerf_m_1047_m_16 = (_v_len3 - _v_len4);
     4496        uintptr_t _v_len___e__e_tmp_m_rfp__compilerf_m_1055_m_16 = (_v_len3 - _v_len4);
    44374497        if (!_c_18.term_eq (_v_deref__Rt, 0))
    44384498        {
    44394499          goto _block2__branch1;
    44404500        }
    4441         Expr _ve__e__e_tmp_m_rfp__compilerf_m_1047_m_16 (_v_deref__Rt, 1, _v_len___e__e_tmp_m_rfp__compilerf_m_1047_m_16);
     4501        Expr _ve__e__e_tmp_m_rfp__compilerf_m_1055_m_16 (_v_deref__Rt, 1, _v_len___e__e_tmp_m_rfp__compilerf_m_1055_m_16);
    44424502        RF_RETFAIL;
    44434503        goto _block2;
     
    44564516          goto _block2__branch2;
    44574517        }
    4458         uintptr_t _v_len___e__e_tmp_m_rfp__compilerf_m_1048_m_17 = (_v_len5 - _v_len6);
     4518        uintptr_t _v_len___e__e_tmp_m_rfp__compilerf_m_1056_m_17 = (_v_len5 - _v_len6);
    44594519        if (!_c_52.term_eq (_v_deref__Rt2, 0))
    44604520        {
    44614521          goto _block2__branch2;
    44624522        }
    4463         Expr _ve__e__e_tmp_m_rfp__compilerf_m_1048_m_17 (_v_deref__Rt2, 1, _v_len___e__e_tmp_m_rfp__compilerf_m_1048_m_17);
     4523        Expr _ve__e__e_tmp_m_rfp__compilerf_m_1056_m_17 (_v_deref__Rt2, 1, _v_len___e__e_tmp_m_rfp__compilerf_m_1056_m_17);
    44644524        RF_RETFAIL;
    44654525        goto _block2;
     
    45454605        goto _block1__branch2;
    45464606      }
    4547       uintptr_t _v_len___e__e_tmp_m_rfp__compilerf_m_1076_m_41 = (_v_len3 - _v_len4);
     4607      uintptr_t _v_len___e__e_tmp_m_rfp__compilerf_m_1084_m_41 = (_v_len3 - _v_len4);
    45484608      if (_v_Domain2.symbol_at (0))
    45494609      {
     
    45554615        goto _block1__branch2;
    45564616      }
    4557       Expr _ve__e__e_tmp_m_rfp__compilerf_m_1076_m_41 (_v_Domain2, 1, _v_len___e__e_tmp_m_rfp__compilerf_m_1076_m_41);
     4617      Expr _ve__e__e_tmp_m_rfp__compilerf_m_1084_m_41 (_v_Domain2, 1, _v_len___e__e_tmp_m_rfp__compilerf_m_1084_m_41);
    45584618      Expr _vt_clash (_v_deref__Domain2, 0, 1);
    45594619      Expr _v_R1;
     
    46924752            _block5__branch1: {}
    46934753              Expr _v_Gener_m_Vars1;
    4694               RF_CALL (rfp__vars::Gener_m_Vars, (_c_103, (_c_104 + _vt_var)), _v_Gener_m_Vars1);
     4754              RF_CALL (rfp__vars::Gener_m_Vars, (_c_102, (_c_103 + _vt_var)), _v_Gener_m_Vars1);
    46954755              if ((_v_Gener_m_Vars1.get_len () != 1))
    46964756              {
     
    46984758              }
    46994759              Expr _vt_sub_m_var (_v_Gener_m_Vars1, 0, 1);
    4700               _ve_subexpr = (_c_35 + _vt_sub_m_var + _vt_var + _ve_left () + (_c_105 + _ve_len () + (_ve_left + _ve_right) ()) () ()) ();
     4760              _ve_subexpr = (_c_35 + _vt_sub_m_var + _vt_var + _ve_left () + (_c_104 + _ve_len () + (_ve_left + _ve_right) ()) () ()) ();
    47014761              _vt_var = _vt_sub_m_var;
    47024762            }
     
    47054765            {
    47064766              {
    4707                 if (!_vs_split.term_eq (_c_106, 0))
     4767                if (!_vs_split.term_eq (_c_105, 0))
    47084768                {
    47094769                  goto _block6__branch1;
    47104770                }
    4711                 _vs_iter_m_op = _c_107;
     4771                _vs_iter_m_op = _c_106;
    47124772                Expr _v_aux1 (_vt_l_m_var);
    47134773                _vt_l_m_var = _vt_r_m_var;
     
    47164776              }
    47174777            _block6__branch1: {}
    4718               _vs_iter_m_op = _c_108;
     4778              _vs_iter_m_op = _c_107;
    47194779            }
    47204780          _block6: {}
    47214781            Expr _vt_cont_m_label;
    4722             RF_CALL (Gener_m_Label, _c_109, _vt_cont_m_label);
     4782            RF_CALL (Gener_m_Label, _c_108, _vt_cont_m_label);
    47234783            Expr _vt_break_m_label;
    4724             RF_CALL (Gener_m_Label, _c_110, _vt_break_m_label);
     4784            RF_CALL (Gener_m_Label, _c_109, _vt_break_m_label);
    47254785            Expr _v_Get_m_Var1;
    4726             if (!RF_CALL (rfp__vars::Get_m_Var, (_c_111, _vt_l_m_var), _v_Get_m_Var1))
     4786            if (!RF_CALL (rfp__vars::Get_m_Var, (_c_110, _vt_l_m_var), _v_Get_m_Var1))
    47274787            {
    47284788              RF_ERROR (Word::create_expr ("rfp_compile") + Word::create_expr ("CC") + unexpected_fail);
     
    47414801            }
    47424802            Expr _v_CC5;
    4743             RF_CALL (CC, (_vs_tail_q_, (_vv_fails + (_c_112 + _vt_cont_m_label) () ()), _v_R8, _ve_Snt), _v_CC5);
    4744             _v_res1 = (_ve_actions + _ve_subexpr + (_vs_split + _vt_var + _v_Get_m_Var1 () + _vt_l_m_var + _vt_r_m_var) () + (_c_114 + _vt_cont_m_label () + _vt_break_m_label () + _c_48 + (_vs_iter_m_op + _vt_var) () () + (_c_86 + (_c_79 + (_c_113 + _vt_var) ()) () () + _v_Concat1) () + _v_CC5 + (_c_63 + _vt_break_m_label) ()) ());
     4803            RF_CALL (CC, (_vs_tail_q_, (_vv_fails + (_c_111 + _vt_cont_m_label) () ()), _v_R8, _ve_Snt), _v_CC5);
     4804            _v_res1 = (_ve_actions + _ve_subexpr + (_vs_split + _vt_var + _v_Get_m_Var1 () + _vt_l_m_var + _vt_r_m_var) () + (_c_113 + _vt_cont_m_label () + _vt_break_m_label () + _c_48 + (_vs_iter_m_op + _vt_var) () () + (_c_86 + (_c_79 + (_c_112 + _vt_var) ()) () () + _v_Concat1) () + _v_CC5 + (_c_63 + _vt_break_m_label) ()) ());
    47454805            goto _block4;
    47464806          }
     
    48404900      Expr _v_CC_m_Known_m_Lengths1;
    48414901      RF_CALL (CC_m_Known_m_Lengths, (_ve_fail (), _ve_rest), _v_CC_m_Known_m_Lengths1);
    4842       _v_res1 = ((_c_86 + (_c_115 + _ve_len_m_Re () + _ve_len_m_Pe ()) () () + _ve_fail) () + _v_CC_m_Known_m_Lengths1);
     4902      _v_res1 = ((_c_86 + (_c_114 + _ve_len_m_Re () + _ve_len_m_Pe ()) () () + _ve_fail) () + _v_CC_m_Known_m_Lengths1);
    48434903      goto _block1;
    48444904    }
     
    49214981  Expr _ve_subtrahend (_v_deref__Lookup12, 0, _v_len__subtrahend);
    49224982  Expr _ve_min;
    4923   if (!RF_CALL (rfp__vars::Get_m_Var, (_c_111, _vt_var), _ve_min))
     4983  if (!RF_CALL (rfp__vars::Get_m_Var, (_c_110, _vt_var), _ve_min))
    49244984  {
    49254985    RF_ERROR (Word::create_expr ("rfp_compile") + Word::create_expr ("CC-Compute-Length") + unexpected_fail);
     
    49384998        goto _block1__branch1;
    49394999      }
    4940       uintptr_t _v_len___e__e_tmp_m_rfp__compilerf_m_1144_m_23 = (_v_len9 - _v_len10);
    4941       if (!_c_116.term_eq (_v_deref__var, 0))
    4942       {
    4943         goto _block1__branch1;
    4944       }
    4945       Expr _ve__e__e_tmp_m_rfp__compilerf_m_1144_m_23 (_v_deref__var, 1, _v_len___e__e_tmp_m_rfp__compilerf_m_1144_m_23);
     5000      uintptr_t _v_len___e__e_tmp_m_rfp__compilerf_m_1152_m_23 = (_v_len9 - _v_len10);
     5001      if (!_c_115.term_eq (_v_deref__var, 0))
     5002      {
     5003        goto _block1__branch1;
     5004      }
     5005      Expr _ve__e__e_tmp_m_rfp__compilerf_m_1152_m_23 (_v_deref__var, 1, _v_len___e__e_tmp_m_rfp__compilerf_m_1152_m_23);
    49465006      RF_CALL (Table::Unbind, (rfp__clashes::Compute_m_Length, _vt_idx), /*void*/);
    4947       _v_res1 = (_c_86 + (_c_119 + _ve_minuend () + (_c_118 + _ve_subtrahend () + (_c_117 + _ve_min () + _vs_mult ()) () ()) () ()) () () + _ve_end_m_cycle) ();
     5007      _v_res1 = (_c_86 + (_c_118 + _ve_minuend () + (_c_117 + _ve_subtrahend () + (_c_116 + _ve_min () + _vs_mult ()) () ()) () ()) () () + _ve_end_m_cycle) ();
    49485008      goto _block1;
    49495009    }
     
    49515011    Expr _vt_m_m_var;
    49525012    Expr _ve_m_m_assign;
    4953     RF_CALL (rfp__vars::Create_m_Int_m_Var, (_c_120, _c_121, _ve_minuend), (_vt_m_m_var, _ve_m_m_assign));
     5013    RF_CALL (rfp__vars::Create_m_Int_m_Var, (_c_119, _c_120, _ve_minuend), (_vt_m_m_var, _ve_m_m_assign));
    49545014    Expr _vt_s_m_var;
    49555015    Expr _ve_s_m_assign;
    4956     RF_CALL (rfp__vars::Create_m_Int_m_Var, (_c_120, _c_121, _ve_subtrahend), (_vt_s_m_var, _ve_s_m_assign));
    4957     Expr _ve_min_m_cond ((_c_119 + _vt_m_m_var () + (_c_118 + _vt_s_m_var () + (_c_117 + _ve_min () + _vs_mult ()) () ()) () ()) () ());
     5016    RF_CALL (rfp__vars::Create_m_Int_m_Var, (_c_119, _c_120, _ve_subtrahend), (_vt_s_m_var, _ve_s_m_assign));
     5017    Expr _ve_min_m_cond ((_c_118 + _vt_m_m_var () + (_c_117 + _vt_s_m_var () + (_c_116 + _ve_min () + _vs_mult ()) () ()) () ()) () ());
    49585018    Expr _v_Get_m_Var1;
    4959     if (!RF_CALL (rfp__vars::Get_m_Var, (_c_122, _vt_var), _v_Get_m_Var1))
     5019    if (!RF_CALL (rfp__vars::Get_m_Var, (_c_121, _vt_var), _v_Get_m_Var1))
    49605020    {
    49615021      RF_ERROR (Word::create_expr ("rfp_compile") + Word::create_expr ("CC-Compute-Length") + unexpected_fail);
     
    49805040      uintptr_t _v_len__max = (_v_len11 - _v_len12);
    49815041      Expr _ve_max (_v_Get_m_Var1, 0, _v_len__max);
    4982       _ve_max_m_cond = (_c_123 + _vt_m_m_var () + (_c_118 + _vt_s_m_var () + (_c_117 + _ve_max () + _vs_mult ()) () ()) () ()) () ();
     5042      _ve_max_m_cond = (_c_122 + _vt_m_m_var () + (_c_117 + _vt_s_m_var () + (_c_116 + _ve_max () + _vs_mult ()) () ()) () ()) () ();
    49835043    }
    49845044  _block2: {}
    4985     Expr _ve_div_m_cond ((_c_124 + (_c_105 + _vt_m_m_var () + _vt_s_m_var ()) () () + _vs_mult ()) ());
     5045    Expr _ve_div_m_cond ((_c_123 + (_c_104 + _vt_m_m_var () + _vt_s_m_var ()) () () + _vs_mult ()) ());
    49865046    Expr _vt_len_m_var;
    49875047    Expr _ve_len_m_assign;
    4988     RF_CALL (rfp__vars::Create_m_Int_m_Var, (_c_125, _vt_var, (_c_126 + (_c_105 + _vt_m_m_var () + _vt_s_m_var ()) () () + _vs_mult ()) ()), (_vt_len_m_var, _ve_len_m_assign));
    4989     RF_CALL (rfp__vars::Set_m_Var, ((_c_127 + _vt_len_m_var) (), _vt_var), /*void*/);
     5048    RF_CALL (rfp__vars::Create_m_Int_m_Var, (_c_124, _vt_var, (_c_125 + (_c_104 + _vt_m_m_var () + _vt_s_m_var ()) () () + _vs_mult ()) ()), (_vt_len_m_var, _ve_len_m_assign));
     5049    RF_CALL (rfp__vars::Set_m_Var, ((_c_126 + _vt_len_m_var) (), _vt_var), /*void*/);
    49905050    RF_CALL (Table::Unbind, (rfp__clashes::Compute_m_Length, _vt_idx), /*void*/);
    49915051    RF_CALL (rfp__helper::Put, (rfp__clashes::Checked_m_Lengths, _vt_idx), /*void*/);
    49925052    Expr _ve_clashes;
    4993     if (!RF_CALL (rfp__vars::Get_m_Var, (_c_128, _vt_var), _ve_clashes))
     5053    if (!RF_CALL (rfp__vars::Get_m_Var, (_c_127, _vt_var), _ve_clashes))
    49945054    {
    49955055      RF_ERROR (Word::create_expr ("rfp_compile") + Word::create_expr ("CC-Compute-Length") + unexpected_fail);
     
    50005060    RF_CALL (rfp__list::Sub, (_ve_clashes, _v__q_1), _v_Sub1);
    50015061    Expr _v_Map1;
    5002     RF_CALL (rfp__list::Map, (_c_129, empty, _v_Sub1), _v_Map1);
     5062    RF_CALL (rfp__list::Map, (_c_128, empty, _v_Sub1), _v_Map1);
    50035063    uintptr_t _v_len13 = _v_Map1.get_len ();
    50045064    uintptr_t _v_len14 = 0;
     
    50075067      RF_ERROR (Word::create_expr ("rfp_compile") + Word::create_expr ("CC-Compute-Length") + unexpected_fail);
    50085068    }
    5009     uintptr_t _v_len___e__e_tmp_m_rfp__compilerf_m_1174_m_75 = (_v_len13 - _v_len14);
    5010     Expr _ve__e__e_tmp_m_rfp__compilerf_m_1174_m_75 (_v_Map1, 0, _v_len___e__e_tmp_m_rfp__compilerf_m_1174_m_75);
    5011     _v_res1 = (_ve_m_m_assign + _ve_s_m_assign + (_c_86 + (_c_130 + _ve_min_m_cond + _ve_max_m_cond) () () + _ve_end_m_cycle) () + (_c_86 + _ve_div_m_cond () + _ve_fail) () + _ve_len_m_assign);
     5069    uintptr_t _v_len___e__e_tmp_m_rfp__compilerf_m_1182_m_75 = (_v_len13 - _v_len14);
     5070    Expr _ve__e__e_tmp_m_rfp__compilerf_m_1182_m_75 (_v_Map1, 0, _v_len___e__e_tmp_m_rfp__compilerf_m_1182_m_75);
     5071    _v_res1 = (_ve_m_m_assign + _ve_s_m_assign + (_c_86 + (_c_129 + _ve_min_m_cond + _ve_max_m_cond) () () + _ve_end_m_cycle) () + (_c_86 + _ve_div_m_cond () + _ve_fail) () + _ve_len_m_assign);
    50125072  }
    50135073_block1: {}
     
    51285188          Expr _ve_min;
    51295189          RF_CALL (Get_m_Min, _ve_vars_m_Pe, _ve_min);
    5130           _ve_cond1 = (_c_119 + (_ve_len_m_Re + _ve_max) () + (_ve_len_m_Pe + _ve_min) ()) () ();
     5190          _ve_cond1 = (_c_118 + (_ve_len_m_Re + _ve_max) () + (_ve_len_m_Pe + _ve_min) ()) () ();
    51315191          goto _block2;
    51325192        }
     
    51455205          Expr _ve_min;
    51465206          RF_CALL (Get_m_Min, _ve_vars_m_Re, _ve_min);
    5147           _ve_cond2 = (_c_123 + (_ve_len_m_Re + _ve_min) () + (_ve_len_m_Pe + _ve_max) ()) () ();
     5207          _ve_cond2 = (_c_122 + (_ve_len_m_Re + _ve_min) () + (_ve_len_m_Pe + _ve_max) ()) () ();
    51485208          goto _block3;
    51495209        }
     
    51675227        }
    51685228      _block4__branch1: {}
    5169         _ve_cond = (_c_86 + (_c_130 + _ve_cond1 + _ve_cond2) () () + _ve_fail) ();
     5229        _ve_cond = (_c_86 + (_c_129 + _ve_cond1 + _ve_cond2) () () + _ve_fail) ();
    51705230      }
    51715231    _block4: {}
     
    51955255      Expr _ve_vars (_v_arg1, 1, _v_len__vars);
    51965256      Expr _v_Get_m_Var1;
    5197       if (!RF_CALL (rfp__vars::Get_m_Var, (_c_111, _vt_var), _v_Get_m_Var1))
     5257      if (!RF_CALL (rfp__vars::Get_m_Var, (_c_110, _vt_var), _v_Get_m_Var1))
    51985258      {
    51995259        RF_ERROR (Word::create_expr ("rfp_compile") + Word::create_expr ("Get-Min") + unexpected_fail);
     
    52275287      Expr _ve_vars (_v_arg1, 1, _v_len__vars);
    52285288      Expr _v_Get_m_Var1;
    5229       if (!RF_CALL (rfp__vars::Get_m_Var, (_c_122, _vt_var), _v_Get_m_Var1))
     5289      if (!RF_CALL (rfp__vars::Get_m_Var, (_c_121, _vt_var), _v_Get_m_Var1))
    52305290      {
    52315291        RF_RETFAIL;
     
    52865346      Expr _ve_pos (_v_compose1, 2, _v_len__pos);
    52875347      Expr _ve_Re (_v_deref__compose1, 0, _v_len__Re);
    5288       _v_res1 = (_c_105 + (_c_131 + _ve_Re) () () + _c_132 + _ve_pos ()) ();
     5348      _v_res1 = (_c_104 + (_c_130 + _ve_Re) () () + _c_131 + _ve_pos ()) ();
    52895349      goto _block1;
    52905350    }
     
    53775437      }
    53785438      uintptr_t _v_len__pos = (_v_len9 - _v_len10);
    5379       if (!_c_133.term_eq (_v_deref__actions, 0))
     5439      if (!_c_132.term_eq (_v_deref__actions, 0))
    53805440      {
    53815441        goto _block1__branch1;
     
    53935453      Expr _v_CC_m_Deref1;
    53945454      RF_CALL (CC_m_Deref, (_ve_fail (), _ve_rest), _v_CC_m_Deref1);
    5395       _v_res1 = ((_c_86 + (_c_133 + _ve_Re + _v_Pos1 ()) () () + _ve_fail) () + _v_CC_m_Deref1);
     5455      _v_res1 = ((_c_86 + (_c_132 + _ve_Re + _v_Pos1 ()) () () + _ve_fail) () + _v_CC_m_Deref1);
    53965456      goto _block1;
    53975457    }
     
    55665626            goto _block2__branch1;
    55675627          }
    5568           Expr _vt__e__e_tmp_m_rfp__compilerf_m_1245_m_15 (_ve_Re, 0, 1);
     5628          Expr _vt__e__e_tmp_m_rfp__compilerf_m_1253_m_15 (_ve_Re, 0, 1);
    55695629          Expr _v_Get_m_Known_m_Length1;
    55705630          Expr _v_Get_m_Known_m_Length2;
     
    55905650              }
    55915651              Expr _v_compose3 ((_vs_dir + _ve_pos));
    5592               if (!_c_134.eq (_v_compose3, 0))
     5652              if (!_c_133.eq (_v_compose3, 0))
    55935653              {
    55945654                goto _block3__branch1;
     
    56305690            goto _block4__branch1;
    56315691          }
    5632           _vs_eq = _c_135;
     5692          _vs_eq = _c_134;
    56335693          goto _block4;
    56345694        }
    56355695      _block4__branch1: {}
    5636         _vs_eq = _c_136;
     5696        _vs_eq = _c_135;
    56375697      }
    56385698    _block4: {}
     
    56455705            {
    56465706              Expr _v_Get_m_Var1;
    5647               if (!RF_CALL (rfp__vars::Get_m_Var, (_c_137, _vt_Pt), _v_Get_m_Var1))
     5707              if (!RF_CALL (rfp__vars::Get_m_Var, (_c_136, _vt_Pt), _v_Get_m_Var1))
    56485708              {
    56495709                goto _block6__branch1;
     
    56535713                goto _block6__branch1;
    56545714              }
    5655               if (!_c_138.term_eq (_v_Get_m_Var1, 0))
     5715              if (!_c_137.term_eq (_v_Get_m_Var1, 0))
    56565716              {
    56575717                goto _block6__branch1;
     
    56755735                  goto _block7__branch1;
    56765736                }
    5677                 uintptr_t _v_len___e__e_tmp_m_rfp__compilerf_m_1264_m_17 = (_v_len15 - _v_len16);
     5737                uintptr_t _v_len___e__e_tmp_m_rfp__compilerf_m_1272_m_17 = (_v_len15 - _v_len16);
    56785738                if (!_c_91.term_eq (_v_deref__Pt, 0))
    56795739                {
    56805740                  goto _block7__branch1;
    56815741                }
    5682                 Expr _ve__e__e_tmp_m_rfp__compilerf_m_1264_m_17 (_v_deref__Pt, 1, _v_len___e__e_tmp_m_rfp__compilerf_m_1264_m_17);
     5742                Expr _ve__e__e_tmp_m_rfp__compilerf_m_1272_m_17 (_v_deref__Pt, 1, _v_len___e__e_tmp_m_rfp__compilerf_m_1272_m_17);
    56835743                goto _block7;
    56845744              }
     
    56955755                goto _block5__branch1;
    56965756              }
    5697               uintptr_t _v_len___e__e_tmp_m_rfp__compilerf_m_1265_m_20 = (_v_len17 - _v_len18);
     5757              uintptr_t _v_len___e__e_tmp_m_rfp__compilerf_m_1273_m_20 = (_v_len17 - _v_len18);
    56985758              if (!_c_92.term_eq (_v_deref__Pt2, 0))
    56995759              {
    57005760                goto _block5__branch1;
    57015761              }
    5702               Expr _ve__e__e_tmp_m_rfp__compilerf_m_1265_m_20 (_v_deref__Pt2, 1, _v_len___e__e_tmp_m_rfp__compilerf_m_1265_m_20);
     5762              Expr _ve__e__e_tmp_m_rfp__compilerf_m_1273_m_20 (_v_deref__Pt2, 1, _v_len___e__e_tmp_m_rfp__compilerf_m_1273_m_20);
    57035763            }
    57045764          _block7: {}
     
    57975857              goto _block10__branch1;
    57985858            }
    5799             uintptr_t _v_len___e__e_tmp_m_rfp__compilerf_m_1283_m_25 = (_v_len23 - _v_len24);
    5800             if (!_c_139.term_eq (_v_deref__Pt3, 0))
     5859            uintptr_t _v_len___e__e_tmp_m_rfp__compilerf_m_1291_m_25 = (_v_len23 - _v_len24);
     5860            if (!_c_138.term_eq (_v_deref__Pt3, 0))
    58015861            {
    58025862              goto _block10__branch1;
    58035863            }
    5804             Expr _ve__e__e_tmp_m_rfp__compilerf_m_1283_m_25 (_v_deref__Pt3, 1, _v_len___e__e_tmp_m_rfp__compilerf_m_1283_m_25);
     5864            Expr _ve__e__e_tmp_m_rfp__compilerf_m_1291_m_25 (_v_deref__Pt3, 1, _v_len___e__e_tmp_m_rfp__compilerf_m_1291_m_25);
    58055865            Expr _v_Pos1;
    58065866            RF_CALL (Pos, (_ve_Re, _vs_dir, _ve_pos), _v_Pos1);
    5807             _ve_cond = (_c_86 + (_c_79 + (_c_133 + _ve_Re + _v_Pos1 ()) ()) () () + _ve_fail) ();
     5867            _ve_cond = (_c_86 + (_c_79 + (_c_132 + _ve_Re + _v_Pos1 ()) ()) () () + _ve_fail) ();
    58085868            goto _block10;
    58095869          }
     
    58275887              goto _block11__branch1;
    58285888            }
    5829             Expr _vs__e__e_tmp_m_rfp__compilerf_m_1290_m_34 (_v_Get_m_Var2, 0, 1);
     5889            Expr _vs__e__e_tmp_m_rfp__compilerf_m_1298_m_34 (_v_Get_m_Var2, 0, 1);
    58305890            Expr _v_CC_m_Eqs2;
    58315891            RF_CALL (CC_m_Eqs, (_ve_fail (), (_ve_assigns + (_c_41 + _vt_Pt + (_c_35 + _ve_Re + _ve_pos () + _ve_len ()) ()) ()), _ve_rest), _v_CC_m_Eqs2);
     
    58425902            RF_ERROR (Word::create_expr ("rfp_compile") + Word::create_expr ("CC-Eqs") + unexpected_fail);
    58435903          }
    5844           uintptr_t _v_len___e__e_tmp_m_rfp__compilerf_m_1294_m_31 = (_v_len25 - _v_len26);
    5845           Expr _ve__e__e_tmp_m_rfp__compilerf_m_1294_m_31 (_v_Vars_m_Decl1, 0, _v_len___e__e_tmp_m_rfp__compilerf_m_1294_m_31);
     5904          uintptr_t _v_len___e__e_tmp_m_rfp__compilerf_m_1302_m_31 = (_v_len25 - _v_len26);
     5905          Expr _ve__e__e_tmp_m_rfp__compilerf_m_1302_m_31 (_v_Vars_m_Decl1, 0, _v_len___e__e_tmp_m_rfp__compilerf_m_1302_m_31);
    58465906          Expr _v_CC_m_Eqs3;
    58475907          RF_CALL (CC_m_Eqs, (_ve_fail (), (_ve_assigns + (_c_35 + _vt_Pt + _ve_Re + _ve_pos () + _ve_len ()) ()), _ve_rest), _v_CC_m_Eqs3);
     
    59115971  Expr _ve_name (_v_compose1, 1, _v_len__name);
    59125972  Expr _ve_label (_v_deref__compose1, 0, _v_len__label);
    5913   RF_TAILCALL (Gener_m_Label, (_ve_label + _c_140 + _ve_name), _v_res1);
     5973  RF_TAILCALL (Gener_m_Label, (_ve_label + _c_139 + _ve_name), _v_res1);
    59145974RF_END
    59155975
     
    60166076  _c_15 = Word::create_expr ("stub");
    60176077  _c_16 = Word::create_expr ("STUB");
    6018   _c_134 = Word::create_expr ("LEFT") + Integer::create_expr ("0");
    6019   _c_17 = Expr (_c_134, 0, 1);
     6078  _c_133 = Word::create_expr ("LEFT") + Integer::create_expr ("0");
     6079  _c_17 = Expr (_c_133, 0, 1);
    60206080  _c_18 = Word::create_expr ("CALL");
    60216081  _c_19 = Word::create_expr ("RESULT");
    6022   _c_141 = Word::create_expr ("arg") + Integer::create_expr ("1");
    6023   _c_142 = Word::create_expr ("EVAR") + (_c_141) ();
    6024   _c_143 = (Expr (_c_142, 0, 1)) ();
    6025   _c_20 = ((_c_142) ()) () + (_c_143) ();
     6082  _c_140 = Word::create_expr ("arg") + Integer::create_expr ("1");
     6083  _c_141 = Word::create_expr ("EVAR") + (_c_140) ();
     6084  _c_142 = (Expr (_c_141, 0, 1)) ();
     6085  _c_20 = ((_c_141) ()) () + (_c_142) ();
    60266086  _c_21 = Word::create_expr ("res");
    60276087  _c_22 = Func::create_expr (rfp__vars::Set_m_Var_m_);
    6028   _c_144 = Word::create_expr ("Instantiated?") + Word::create_expr ("True");
    6029   _c_23 = (_c_144) ();
     6088  _c_143 = Word::create_expr ("Instantiated?") + Word::create_expr ("True");
     6089  _c_23 = (_c_143) ();
    60306090  _c_24 = Expr (_c_4, 0, 1);
    60316091  _c_25 = Word::create_expr ("FATAL");
     
    60886148  _c_80 = Word::create_expr ("negation");
    60896149  _c_81 = (_c_29) ();
    6090   _c_83 = Expr (_c_141, 1, 1);
     6150  _c_83 = Expr (_c_140, 1, 1);
    60916151  _c_84 = Word::create_expr ("Failable");
    60926152  _c_85 = Word::create_expr ("PAREN");
     
    60986158  _c_91 = Word::create_expr ("REF");
    60996159  _c_92 = Word::create_expr ("STATIC");
    6100   _c_93 = (_c_143) () + (_c_143) ();
     6160  _c_93 = (_c_142) () + (_c_142) ();
    61016161  _c_94 = Expr (_c_95, 0, 1);
    6102   _c_96 = Func::create_expr (Comp_m_Assign_m_to_m_Var);
    6103   _c_97 = Word::create_expr ("aux");
    6104   _c_98 = Func::create_expr (Get_m_Vars);
    6105   _c_99 = Func::create_expr (Max_m_Require);
    6106   _c_100 = Func::create_expr (Subst_m_Aux_m_Var);
    6107   _c_101 = Func::create_expr (Extract_m_Assigns);
    6108   _c_128 = Word::create_expr ("Clashes");
    6109   _c_102 = (_c_128) ();
    6110   _c_103 = (_c_40) ();
    6111   _c_104 = Word::create_expr ("subexpr_");
    6112   _c_105 = Word::create_expr ("INFIX") + Word::create_expr ("-");
    6113   _c_106 = Word::create_expr ("RSPLIT");
    6114   _c_107 = Word::create_expr ("DEC-ITER");
    6115   _c_108 = Word::create_expr ("INC-ITER");
    6116   _c_109 = Word::create_expr ("continue");
    6117   _c_110 = Word::create_expr ("exit");
    6118   _c_111 = Word::create_expr ("Min");
    6119   _c_112 = Word::create_expr ("CONTINUE");
    6120   _c_113 = Word::create_expr ("CHECK-ITER");
    6121   _c_114 = Expr (_c_67, 0, 1);
    6122   _c_115 = Word::create_expr ("INFIX") + Word::create_expr ("!=");
    6123   _c_116 = Word::create_expr ("Len-Var");
    6124   _c_117 = Word::create_expr ("INFIX") + Word::create_expr ("*");
    6125   _c_118 = Word::create_expr ("INFIX") + Word::create_expr ("+");
    6126   _c_119 = Word::create_expr ("INFIX") + Word::create_expr ("<");
    6127   _c_120 = Word::create_expr ("len");
    6128   _c_121 = Word::create_expr ("Aux");
    6129   _c_122 = Word::create_expr ("Max");
    6130   _c_123 = Word::create_expr ("INFIX") + Word::create_expr (">");
    6131   _c_124 = Word::create_expr ("INFIX") + Word::create_expr ("%");
    6132   _c_125 = Word::create_expr ("len_");
    6133   _c_126 = Word::create_expr ("INFIX") + Word::create_expr ("/");
    6134   _c_127 = Word::create_expr ("Length");
    6135   _c_129 = Func::create_expr (rfp__clashes::Reclassify_m_Clash);
    6136   _c_130 = Word::create_expr ("INFIX") + Word::create_expr ("||");
    6137   _c_131 = Word::create_expr ("LENGTH");
    6138   _c_132 = (_c_83) ();
    6139   _c_133 = Word::create_expr ("SYMBOL?");
    6140   _c_135 = Word::create_expr ("TERM-EQ");
    6141   _c_136 = Word::create_expr ("EQ");
    6142   _c_137 = Expr (_c_144, 0, 1);
    6143   _c_138 = Expr (_c_144, 1, 1);
    6144   _c_139 = Word::create_expr ("SVAR");
    6145   _c_140 = Word::create_expr ("_");
     6162  _c_96 = Word::create_expr ("aux");
     6163  _c_97 = Func::create_expr (Get_m_Vars);
     6164  _c_98 = Func::create_expr (Max_m_Require);
     6165  _c_99 = Func::create_expr (Subst_m_Aux_m_Var);
     6166  _c_100 = Func::create_expr (Extract_m_Assigns);
     6167  _c_127 = Word::create_expr ("Clashes");
     6168  _c_101 = (_c_127) ();
     6169  _c_102 = (_c_40) ();
     6170  _c_103 = Word::create_expr ("subexpr_");
     6171  _c_104 = Word::create_expr ("INFIX") + Word::create_expr ("-");
     6172  _c_105 = Word::create_expr ("RSPLIT");
     6173  _c_106 = Word::create_expr ("DEC-ITER");
     6174  _c_107 = Word::create_expr ("INC-ITER");
     6175  _c_108 = Word::create_expr ("continue");
     6176  _c_109 = Word::create_expr ("exit");
     6177  _c_110 = Word::create_expr ("Min");
     6178  _c_111 = Word::create_expr ("CONTINUE");
     6179  _c_112 = Word::create_expr ("CHECK-ITER");
     6180  _c_113 = Expr (_c_67, 0, 1);
     6181  _c_114 = Word::create_expr ("INFIX") + Word::create_expr ("!=");
     6182  _c_115 = Word::create_expr ("Len-Var");
     6183  _c_116 = Word::create_expr ("INFIX") + Word::create_expr ("*");
     6184  _c_117 = Word::create_expr ("INFIX") + Word::create_expr ("+");
     6185  _c_118 = Word::create_expr ("INFIX") + Word::create_expr ("<");
     6186  _c_119 = Word::create_expr ("len");
     6187  _c_120 = Word::create_expr ("Aux");
     6188  _c_121 = Word::create_expr ("Max");
     6189  _c_122 = Word::create_expr ("INFIX") + Word::create_expr (">");
     6190  _c_123 = Word::create_expr ("INFIX") + Word::create_expr ("%");
     6191  _c_124 = Word::create_expr ("len_");
     6192  _c_125 = Word::create_expr ("INFIX") + Word::create_expr ("/");
     6193  _c_126 = Word::create_expr ("Length");
     6194  _c_128 = Func::create_expr (rfp__clashes::Reclassify_m_Clash);
     6195  _c_129 = Word::create_expr ("INFIX") + Word::create_expr ("||");
     6196  _c_130 = Word::create_expr ("LENGTH");
     6197  _c_131 = (_c_83) ();
     6198  _c_132 = Word::create_expr ("SYMBOL?");
     6199  _c_134 = Word::create_expr ("TERM-EQ");
     6200  _c_135 = Word::create_expr ("EQ");
     6201  _c_136 = Expr (_c_143, 0, 1);
     6202  _c_137 = Expr (_c_143, 1, 1);
     6203  _c_138 = Word::create_expr ("SVAR");
     6204  _c_139 = Word::create_expr ("_");
    61466205}
    61476206
  • to-imperative/trunk/compiler/rfp_compile.rf

    r1585 r1611  
    757757***************** Compilation of assignment to variables *****************
    758758
    759 $func Comp-Assign-to-Var e = e;
    760 
    761 Comp-Assign-to-Var (t.var (e.Re)) =
     759$func Comp-Assign-to-Var t.var e.Re (e.assigned-vars) = e.assign (e.used-vars);
     760
     761Comp-Assign-to-Var t.var e.Re (e.assigned-vars) =
    762762  {
    763     t.var : e.Re = /*empty*/;
     763    t.var : e.Re = /*empty*/ ();
    764764    <Vars-Reset t.var>, $fail;
    765     <Substitutable-Var? e.Re> = <Gener-Var-Assign t.var e.Re>;
    766     <Get-Var Decl t.var> : s = (ASSIGN <Vars-Print t.var> e.Re);
    767     <Vars-Decl t.var> : e, (EXPR <Vars-Print t.var> e.Re);
     765    <Substitutable-Var? e.Re>, # \{ e.assigned-vars : e t.var e; } =
     766      <Gener-Var-Assign t.var e.Re> ();
     767    <Get-Var Decl t.var> : s = (ASSIGN <Vars-Print t.var> e.Re) (<Vars e.Re>);
     768    <Vars-Decl t.var> : e, (EXPR <Vars-Print t.var> e.Re) (<Vars e.Re>);
    768769  };
    769770
    770 Comp-Assigns e.assigns = <Map &Comp-Assign-to-Var (e.assigns)>;
     771Comp-Assigns e.assigns =
     772  e.assigns (/*e.assigned-vars*/) (/*e.comp-assigns*/) $iter {
     773    e.assigns : (t.var (e.Re)) e.rest =
     774      <Comp-Assign-to-Var t.var e.Re (e.assigned-vars)> :: e.c-as (e.a-vs),
     775      e.rest (e.assigned-vars e.a-vs) (e.comp-assigns e.c-as);
     776  } :: e.assigns (e.assigned-vars) (e.comp-assigns),
     777  e.assigns : /*empty*/ =
     778  e.comp-assigns;
    771779
    772780
Note: See TracChangeset for help on using the changeset viewer.