Changeset 2103 for src/RTL/RTLToERTL.ma


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.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • 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.