diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/lem_interp/interp_inter_imp.lem | 2 | ||||
| -rw-r--r-- | src/lem_interp/interp_lib.lem | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/src/lem_interp/interp_inter_imp.lem b/src/lem_interp/interp_inter_imp.lem index 5f89a1d8..45f91601 100644 --- a/src/lem_interp/interp_inter_imp.lem +++ b/src/lem_interp/interp_inter_imp.lem @@ -364,7 +364,7 @@ let rec interp_to_outcome mode thunk = then interp_to_outcome mode (fun _ -> Interp.resume mode next_state (Just (f value))) else let new_v = f value in Internal (Just i) - (Just (fun _ -> Interp.string_of_value value)) + (Just (fun _ -> (Interp.string_of_value value) ^ "=>" ^ (Interp.string_of_value new_v))) (Interp.add_answer_to_stack next_state new_v) end | Interp.Step l Nothing Nothing -> Internal Nothing Nothing next_state diff --git a/src/lem_interp/interp_lib.lem b/src/lem_interp/interp_lib.lem index feb99c02..823e358b 100644 --- a/src/lem_interp/interp_lib.lem +++ b/src/lem_interp/interp_lib.lem @@ -248,7 +248,7 @@ let rec arith_op_range_vec_range op (V_tuple args) = match args with | [V_unknown;_] -> V_unknown | [_;V_unknown] -> V_unknown | [n;(V_vector _ ord _ as l2)] -> - arith_op op (V_tuple [n;(to_num ord l2)]) + arith_op op (V_tuple [n;(to_num false l2)]) end ;; let rec arith_op_vec_range_range op (V_tuple args) = match args with | [V_track v1 r1;V_track v2 r2] -> @@ -260,7 +260,7 @@ let rec arith_op_vec_range_range op (V_tuple args) = match args with | [V_unknown;_] -> V_unknown | [_;V_unknown] -> V_unknown | [(V_vector _ ord _ as l1);n] -> - arith_op op (V_tuple [(to_num ord l1);n]) + arith_op op (V_tuple [(to_num false l1);n]) end ;; let rec compare_op op (V_tuple args) = match args with |