Ignore:
Timestamp:
Sep 28, 2011, 11:50:32 PM (9 years ago)
Author:
sacerdot
Message:

Cosmetic change: names of joint statements/instructions shortened and made
uppercase.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/RTL/RTLTailcall.ma

    r1275 r1282  
    88  λgraph: codeT … (rtlntc_params globals).
    99  match stmt with
    10   [ joint_st_sequential seq DUMMY ⇒
     10  [ sequential seq DUMMY ⇒
    1111     match seq with
    12       [ joint_instr_extension ext ⇒
     12      [ extension ext ⇒
    1313         match ext with
    1414          [ rtl_st_ext_tailcall_id f args ⇒
    15               add ? ? graph lbl (joint_st_sequential … (joint_instr_call_id … f args [ ]) exit)
     15              add ? ? graph lbl (sequential … (CALL_ID … f args [ ]) exit)
    1616          | rtl_st_ext_tailcall_ptr f1 f2 args ⇒
    17               add ? ? graph lbl (joint_st_sequential … (joint_instr_extension … (rtlntc_st_ext_call_ptr f1 f2 args [ ])) exit)
     17              add ? ? graph lbl (sequential … (extension … (rtlntc_st_ext_call_ptr f1 f2 args [ ])) exit)
    1818          | _ ⇒ graph ]
    1919      | _ ⇒ graph ]
Note: See TracChangeset for help on using the changeset viewer.