more for loop corrections, as well as pattern match error

1 files changed, 3 insertions, 3 deletions

diff --git a/src/lem_interp/interp.lem b/src/lem_interp/interp.lem
index 42073bf1..6b92b66f 100644
--- a/src/lem_interp/interp.lem
+++ b/src/lem_interp/interp.lem
@@ -412,9 +412,9 @@ let retaint orig updated =
 end
 
 val detaint: value -> value 
-let detaint value = 
+let rec detaint value = 
   match value with
-    | V_track value _ -> value
+    | V_track value _ -> detaint value
     | v -> v
 end
 
@@ -1238,7 +1238,7 @@ and interp_main mode t_level l_env l_mem (E_aux exp (l,annot)) =
 			  let (by_e,env) = to_exp mode le by_val_whole in
                           match by_val with 
                             | V_lit (L_aux (L_num by_num) bl) ->
-                              if ((is_inc && (from_num >= to_num)) || (not(is_inc) && (from_num <= to_num)))  
+                              if ((is_inc && (from_num > to_num)) || (not(is_inc) && (from_num < to_num)))  
                               then (Value(V_lit (L_aux L_unit l)),lm,le)
                               else
 				let (ftyp,ttyp,btyp) = (val_typ from_val,val_typ to_val,val_typ by_val) in