Changeset 1271 for src/joint/Joint.ma
 Timestamp:
 Sep 26, 2011, 4:24:32 PM (10 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.