diff options
| author | Jon French | 2019-03-13 17:04:47 +0000 |
|---|---|---|
| committer | Jon French | 2019-03-13 17:04:47 +0000 |
| commit | 985a9582a0e780d1ffbe4722653927a3bb860403 (patch) | |
| tree | 65f9c97b039152cd3a473d1fef19fc87325f3034 | |
| parent | 81261ce7a4f91d3d55351f54d979fa5e4b4661ee (diff) | |
fix is_true/is_false use of == for web-interface new-interpreter
| -rw-r--r-- | src/interpreter.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/interpreter.ml b/src/interpreter.ml index b9cc9191..cad9cc00 100644 --- a/src/interpreter.ml +++ b/src/interpreter.ml @@ -103,11 +103,11 @@ let is_value = function | _ -> false let is_true = function - | (E_aux (E_internal_value (V_bool b), _)) -> b == true + | (E_aux (E_internal_value (V_bool b), annot)) -> b | _ -> false let is_false = function - | (E_aux (E_internal_value (V_bool b), _)) -> b == false + | (E_aux (E_internal_value (V_bool b), _)) -> not b | _ -> false let exp_of_value v = (E_aux (E_internal_value v, (Parse_ast.Unknown, Type_check.empty_tannot))) |