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.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.