Changeset 1450
- Timestamp:
- Oct 21, 2011, 10:37:22 PM (8 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/RTL/RTLToERTL.ma
r1388 r1450 346 346 λglobals.λdef:rtlntc_internal_function globals. 347 347 let nb_params ≝ |joint_if_params ?? def| in 348 let added_stacksize ≝ max 0 ( nb_params - |RegisterParams|) in348 let added_stacksize ≝ max 0 (minus nb_params (|RegisterParams|)) in 349 349 let new_locals ≝ nub_by ? (eq_identifier ?) ((joint_if_locals … def) @ (joint_if_params … def)) in 350 350 let entry' ≝ joint_if_entry … def in
Note: See TracChangeset
for help on using the changeset viewer.