Changeset 1271 for src/joint


Ignore:
Timestamp:
Sep 26, 2011, 4:24:32 PM (8 years ago)
Author:
mulligan
Message:

finished, kind of

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/joint/Joint.ma

    r1270 r1271  
    9292    (joint_if_code … p) (joint_if_entry … p) (dp … exit prf).
    9393
     94definition 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
    94105definition set_luniverse ≝
    95106  λglobals,pars.
Note: See TracChangeset for help on using the changeset viewer.