- Timestamp:
- Sep 26, 2011, 4:24:32 PM (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/joint/Joint.ma
r1270 r1271 92 92 (joint_if_code … p) (joint_if_entry … p) (dp … exit prf). 93 93 94 definition set_joint_if_graph ≝ 95 λglobals,pars. 96 λgraph. 97 λp:joint_internal_function globals pars. 98 λentry_prf: lookup … graph (joint_if_entry … p) ≠ None ?. 99 λexit_prf: lookup … graph (joint_if_exit … p) ≠ None ?. 100 mk_joint_internal_function globals pars 101 (joint_if_luniverse … p) (joint_if_runiverse … p) (joint_if_result … p) 102 (joint_if_params … p) (joint_if_locals … p) (joint_if_stacksize … p) 103 graph (dp … (joint_if_entry … p) entry_prf) (dp … (joint_if_exit … p) exit_prf). 104 94 105 definition set_luniverse ≝ 95 106 λglobals,pars.
Note: See TracChangeset
for help on using the changeset viewer.