Changeset 2103 for src/RTL


Ignore:
Timestamp:
Jun 21, 2012, 5:21:02 PM (8 years ago)
Author:
campbell
Message:

Make transform_*program take a more general transformation to make
properties easier to state.

Location:
src/RTL
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • src/RTL/RTLTailcall.ma

    r1282 r2103  
    5050
    5151definition tailcall_simplify : rtl_program → rtlntc_program ≝
    52  λp. transform_program … p (transf_fundef … (simplify_internal …)).
     52 λp. transform_program … p (λvarnames. transf_fundef … (simplify_internal varnames)).
  • src/RTL/RTLToERTL.ma

    r2035 r2103  
    415415 λp.
    416416  let p ≝ tailcall_simplify p in (* tailcall simplification here *)
    417     transform_program ??? p (transf_fundef ?? (translate_funct …)).
     417    transform_program ??? p (λvarnames. transf_fundef ?? (translate_funct varnames)).
Note: See TracChangeset for help on using the changeset viewer.