Changeset 1254 for src/joint


Ignore:
Timestamp:
Sep 22, 2011, 4:16:06 PM (8 years ago)
Author:
sacerdot
Message:

More progress towards porting of RTLtoERTL to joint syntax.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/joint/Joint.ma

    r1252 r1254  
    9999    (joint_if_code … p) (joint_if_entry … p) (joint_if_exit … p).
    100100
     101definition set_runiverse ≝
     102  λglobals,pars.
     103  λp : joint_internal_function globals pars.
     104  λruniverse: universe RegisterTag.
     105   mk_joint_internal_function globals pars
     106    (joint_if_luniverse … p) runiverse (joint_if_result … p)
     107    (joint_if_params … p) (joint_if_locals … p) (joint_if_stacksize … p)
     108    (joint_if_code … p) (joint_if_entry … p) (joint_if_exit … p).
     109
    101110(* Specialized for graph_params *)
    102111definition add_graph ≝
Note: See TracChangeset for help on using the changeset viewer.