- Timestamp:
- Oct 17, 2011, 10:54:50 AM (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/RTL/RTLToERTL.ma
r1352 r1388 354 354 let def' ≝ 355 355 mk_joint_internal_function globals (ertl_params globals) 356 (joint_if_luniverse … def) (joint_if_runiverse … def) it356 (joint_if_luniverse … def) (joint_if_runiverse … def) (joint_if_result … def) (*CSC: different from OCaml code where joint_if_result is unit*) 357 357 nb_params new_locals ((joint_if_stacksize … def) + added_stacksize) 358 358 graph' ? ? in
Note: See TracChangeset
for help on using the changeset viewer.