Changeset 2103 for src/Cminor


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/Cminor/toRTLabs.ma

    r2033 r2103  
    939939
    940940definition cminor_noinit_to_rtlabs : Cminor_noinit_program → res RTLabs_program ≝
    941 λp.transform_partial_program … p (transf_partial_fundef … c2ra_function).
     941λp.transform_partial_program … p (λ_. transf_partial_fundef … c2ra_function).
    942942
    943943include "Cminor/initialisation.ma".
Note: See TracChangeset for help on using the changeset viewer.