Changeset 2462 for src/joint/Joint.ma


Ignore:
Timestamp:
Nov 14, 2012, 10:31:55 AM (8 years ago)
Author:
tranquil
Message:

separated in back end values program counters from code pointers (intended to hold function pointers only): same signature, but separation needed the proof of some passes

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/joint/Joint.ma

    r2457 r2462  
    410410  λp,globals.
    411411    Σdef : joint_internal_function p globals. code_closed … (joint_if_code … def).
     412
     413unification hint 0 ≔ p,g ⊢
     414  joint_closed_internal_function p g ≡
     415  Sig (joint_internal_function p g) (λfd.code_closed p g (joint_if_code p g fd)).
    412416
    413417definition set_joint_code ≝
Note: See TracChangeset for help on using the changeset viewer.