Ignore:
Timestamp:
Oct 10, 2011, 2:17:02 PM (8 years ago)
Author:
tranquil
Message:

work on Cminor completed

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.2/8051-indexed-labels-branch/src/cminor/cminorFold.ml

    r818 r1334  
    4444    ([e], [stmt1 ; stmt2])
    4545  | Cminor.St_loop stmt | Cminor.St_block stmt
    46   | Cminor.St_label (_, stmt) | Cminor.St_cost (_, stmt) ->
    47     ([], [stmt])
     46  | Cminor.St_label (_, stmt) | Cminor.St_cost (_, stmt)
     47        | Cminor.St_ind_0 (_, stmt) | Cminor.St_ind_inc (stmt, _) ->
     48                ([], [stmt])
    4849
    4950let statement_fill_subs stmt sub_es sub_stmts =
Note: See TracChangeset for help on using the changeset viewer.