diff options
| author | Gabriel Kerneis | 2014-02-05 16:59:19 +0000 |
|---|---|---|
| committer | Gabriel Kerneis | 2014-02-05 16:59:19 +0000 |
| commit | e99d40206441306f472fb7ba896967183673fd61 (patch) | |
| tree | a0fdae428589f2e9481a03ec9a0c7a0cbbeaa855 | |
| parent | 6299c80a60d302916e0a95afec22e16ed2983551 (diff) | |
Revert "Accept single bits as boolean values for if in interpreter"
This reverts commit 828f19828e41ced146f06e9a7eb4183cd9ef3ab4.
It was a temporary workaround now fixed when we generate Sail code.
| -rw-r--r-- | src/lem_interp/interp.lem | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/lem_interp/interp.lem b/src/lem_interp/interp.lem index aa96c877..3ea2a137 100644 --- a/src/lem_interp/interp.lem +++ b/src/lem_interp/interp.lem @@ -528,8 +528,6 @@ and interp_main t_level l_env l_mem exp = match value with | V_lit(L_true) -> interp_main t_level l_env lm thn | V_lit(L_false) -> interp_main t_level l_env lm els - | V_lit(L_one) -> interp_main t_level l_env lm thn - | V_lit(L_zero) -> interp_main t_level l_env lm els | _ -> (Error "Type error, not provided boolean for if",lm,l_env) end) (fun a -> update_stack a (add_to_top_frame (fun c -> (E_if c thn els)))) | E_for id from to_ by exp -> |