Ignore:
Timestamp:
Oct 6, 2011, 11:07:04 AM (9 years ago)
Author:
tranquil
Message:

added indexes to loop constructors. Branch does not compile atm

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.2/8051-indexed-labels-branch/src/clight/clight.mli

    r1291 r1305  
    130130type label = Label.t
    131131
     132type loop_index = CostLabel.index option
     133
    132134type statement =
    133135  | Sskip                                       (**r do nothing *)
     
    136138  | Ssequence of statement*statement            (**r sequence *)
    137139  | Sifthenelse of expr*statement*statement     (**r conditional *)
    138   | Swhile of expr*statement                    (**r [while] loop *)
    139   | Sdowhile of expr*statement                  (**r [do] loop *)
    140   | Sfor of statement*expr*statement*statement  (**r [for] loop *)
     140  | Swhile of loop_index*expr*statement                 (**r [while] loop *)
     141  | Sdowhile of loop_index*expr*statement                       (**r [do] loop *)
     142  | Sfor of loop_index*statement*expr*statement*statement       (**r [for] loop *)
    141143  | Sbreak                                      (**r [break] statement *)
    142144  | Scontinue                                   (**r [continue] statement *)
Note: See TracChangeset for help on using the changeset viewer.