Ignore:
Timestamp:
Dec 2, 2011, 7:49:19 PM (8 years ago)
Author:
tranquil
Message:

fighting with a bug of the translation from RTL to ERTL

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.2/8051/src/common/costLabel.ml

    r1542 r1585  
    4242let curr_ind = function
    4343    | hd :: _ -> hd
    44     | _ -> invalid_arg "non-empty indexing stack"
     44    | _ -> invalid_arg "empty indexing stack"
    4545
    4646let enter_loop inds = enter_loop_single (curr_ind inds)
     
    5656let forget_const_ind = function
    5757        | _ :: inds -> inds
    58         | _ -> invalid_arg "non-empty indexing stack"
     58        | _ -> invalid_arg "empty indexing stack"
    5959
    6060let sexpr_of i l =
Note: See TracChangeset for help on using the changeset viewer.