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

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

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/joint/TranslateUtils.ma

    r1280 r1282  
    4242  λpars1,globals.λe: joint_statement (graph_params pars1 globals) globals.λl.
    4343  match e with
    44   [ joint_st_goto _ ⇒ joint_st_goto … l
    45   | joint_st_return ⇒ joint_st_return ??
    46   | joint_st_sequential instr _ ⇒ joint_st_sequential … globals instr l].
     44  [ GOTO _ ⇒ GOTO … l
     45  | RETURN ⇒ RETURN ??
     46  | sequential instr _ ⇒ sequential … globals instr l].
    4747
    4848(*CSC: bad programming habit: the code below puts everywhere a fake
     
    5656    on stmt_list ≝
    5757  match stmt_list with
    58   [ nil ⇒ add_graph … start_lbl (joint_st_goto … dest_lbl) def
     58  [ nil ⇒ add_graph … start_lbl (GOTO … dest_lbl) def
    5959  | cons stmt stmt_list ⇒
    6060    match stmt_list with
     
    7474    on translate_list ≝
    7575  match translate_list with
    76   [ nil ⇒ add_graph … start_lbl (joint_st_goto … dest_lbl) def
     76  [ nil ⇒ add_graph … start_lbl (GOTO … dest_lbl) def
    7777  | cons trans translate_list ⇒
    7878    match translate_list with
Note: See TracChangeset for help on using the changeset viewer.