Changeset 1601 for src/joint/Joint.ma


Ignore:
Timestamp:
Dec 13, 2011, 2:49:52 PM (9 years ago)
Author:
sacerdot
Message:

Files ported to new version of the standard library.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/joint/Joint.ma

    r1471 r1601  
    33include "common/AST.ma".
    44include "common/Registers.ma".
    5 include "utilities/sigma.ma". (* CSC: Only for Sigma type projections *)
    65include "common/Graphs.ma".
    76
     
    115114    (joint_if_luniverse … p) (joint_if_runiverse … p) (joint_if_result … p)
    116115    (joint_if_params … p) (joint_if_locals … p) (joint_if_stacksize … p)
    117     (joint_if_code … p) (joint_if_entry … p) (dp … exit prf).
     116    (joint_if_code … p) (joint_if_entry … p) (mk_Sig … exit prf).
    118117
    119118definition set_joint_code ≝
     
    136135  λexit_prf: lookup … graph (joint_if_exit … p) ≠ None ?.
    137136    set_joint_code globals pars p graph
    138       (dp … (joint_if_entry … p) entry_prf) (dp … (joint_if_exit … p) exit_prf).
     137      (mk_Sig … (joint_if_entry … p) entry_prf) (mk_Sig … (joint_if_exit … p) exit_prf).
    139138
    140139definition set_luniverse ≝
Note: See TracChangeset for help on using the changeset viewer.