Changeset 1270 for src/LIN


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

Making RTL syntax an instance of Joint.

Location:
src/LIN
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • src/LIN/LIN.ma

    r1264 r1270  
    33
    44definition lin_params_: params_ ≝
    5  mk_params_ (mk_params__ unit unit unit unit registers_move Register False unit unit unit) unit.
     5 mk_params_ (mk_params__ unit unit unit unit registers_move Register nat unit False unit unit unit) unit.
    66
    77definition pre_lin_statement ≝ joint_statement lin_params_.
  • src/LIN/LINToASM.ma

    r1268 r1270  
    9797      | joint_instr_push _ ⇒ Instruction (PUSH ? accumulator_address)
    9898      | joint_instr_clear_carry ⇒ Instruction (CLR ? CARRY)
    99       | joint_instr_call_id f _ ⇒ Call (word_of_identifier ? f)
     99      | joint_instr_call_id f _ _ ⇒ Call (word_of_identifier ? f)
    100100      | joint_instr_opaccs accs _ _ ⇒
    101101        match accs with
Note: See TracChangeset for help on using the changeset viewer.