Changeset 1270 for src/joint


Ignore:
Timestamp:
Sep 26, 2011, 3:59:28 PM (9 years ago)
Author:
sacerdot
Message:

Making RTL syntax an instance of Joint.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/joint/Joint.ma

    r1260 r1270  
    1313 ; pair_reg: Type[0]
    1414 ; generic_reg: Type[0]
     15 ; call_args: Type[0]
     16 ; call_dest: Type[0]
    1517 
    1618 ; extend_statements: Type[0]
     
    4143  | joint_instr_load: acc_a_reg p → dpl_reg p → dph_reg p → joint_instruction p globals
    4244  | joint_instr_store: dpl_reg p → dph_reg p → acc_a_reg p → joint_instruction p globals
    43   | joint_instr_call_id: ident → nat → joint_instruction p globals
     45  | joint_instr_call_id: ident → call_args p → call_dest p → joint_instruction p globals
    4446  | joint_instr_cond: acc_a_reg p → label → joint_instruction p globals
    4547  | joint_instr_extension: extend_statements p → joint_instruction p globals.
Note: See TracChangeset for help on using the changeset viewer.