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

fighting with a bug of the translation from RTL to ERTL

Location:
Deliverables/D2.2/8051/src/common
Files:
2 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 =
  • Deliverables/D2.2/8051/src/common/costLabel.mli

    r1542 r1585  
    3131
    3232(** This is equivalent to [List.hd], but raises
    33     [Invalid_argument "non-empty indexing stack"] if argument is empty *)
     33    [Invalid_argument "empty indexing stack"] if argument is empty *)
    3434val curr_const_ind : const_indexing list -> const_indexing
    3535
     
    4646(** [continue_loop inds n] is used to update the indexing stack [inds] when
    4747    one is continuing a loop indexed by [n].
    48     @raise [Invalid_argument "non-empty indexing stack"] if [inds] is empty.
     48    @raise [Invalid_argument "empty indexing stack"] if [inds] is empty.
    4949    @raise [Invalid_argument "uninitialized loop index"] if the head of
    5050    [inds] has no value for [index]. *)
     
    6161
    6262(** [forget_const_ind inds] pops and discards the top constant indexing from the
    63     stack [inds].  Raises [Invalid_argument "non-empty indexing stack"] if
     63    stack [inds].  Raises [Invalid_argument "empty indexing stack"] if
    6464    [inds] is empty. *)
    6565val forget_const_ind : const_indexing list -> const_indexing list
Note: See TracChangeset for help on using the changeset viewer.