Changeset 1585 for Deliverables/D2.2/8051/src/common

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:

• costLabel.ml (modified) (2 diffs)
• costLabel.mli (modified) (3 diffs)

Deliverables/D2.2/8051/src/common/costLabel.ml

@@ -42 +42 @@
 let curr_ind = function
     | hd :: _ -> hd
-    | _ -> invalid_arg "non-empty indexing stack"
+    | _ -> invalid_arg "empty indexing stack"
 
 let enter_loop inds = enter_loop_single (curr_ind inds)
@@ -56 +56 @@
 let forget_const_ind = function
         | _ :: inds -> inds
-        | _ -> invalid_arg "non-empty indexing stack"
+        | _ -> invalid_arg "empty indexing stack"
 
 let sexpr_of i l = 

Deliverables/D2.2/8051/src/common/costLabel.mli

@@ -31 +31 @@
 
 (** This is equivalent to [List.hd], but raises
-    [Invalid_argument "non-empty indexing stack"] if argument is empty *)
+    [Invalid_argument "empty indexing stack"] if argument is empty *)
 val curr_const_ind : const_indexing list -> const_indexing
 
@@ -46 +46 @@
 (** [continue_loop inds n] is used to update the indexing stack [inds] when
     one is continuing a loop indexed by [n].
-    @raise [Invalid_argument "non-empty indexing stack"] if [inds] is empty.
+    @raise [Invalid_argument "empty indexing stack"] if [inds] is empty.
     @raise [Invalid_argument "uninitialized loop index"] if the head of
     [inds] has no value for [index]. *)
@@ -61 +61 @@
 
 (** [forget_const_ind inds] pops and discards the top constant indexing from the
-    stack [inds].  Raises [Invalid_argument "non-empty indexing stack"] if
+    stack [inds].  Raises [Invalid_argument "empty indexing stack"] if
     [inds] is empty. *) 
 val forget_const_ind : const_indexing list -> const_indexing list