Changeset 2103 for src/joint


Ignore:
Timestamp:
Jun 21, 2012, 5:21:02 PM (7 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/joint/Erasure.ma

    r1515 r2103  
    254254  λparams1.
    255255  λprogram.
    256     transform_program … program (transf_fundef … (pre_erase_joint_internal_function … (pre_erase_graph_internal_function …) (relabel_graph …))).
     256    transform_program … program (transf_fundef … (λvarnames. pre_erase_joint_internal_function varnames … (pre_erase_graph_internal_function varnames …) (relabel_graph varnames …))).
    257257
    258258definition erase_lin_program: lin_program → lin_program ≝
    259259  λprogram.
    260     transform_program … program (transf_fundef … (pre_erase_joint_internal_function … (pre_erase_lin_internal_function …) (relabel_lin_internal_function …))).
     260    transform_program … program (transf_fundef … (λvarnames. pre_erase_joint_internal_function varnames … (pre_erase_lin_internal_function varnames …) (relabel_lin_internal_function varnames …))).
Note: See TracChangeset for help on using the changeset viewer.