diff options
Diffstat (limited to 'src/Interpreter.ml')
| -rw-r--r-- | src/Interpreter.ml | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/Interpreter.ml b/src/Interpreter.ml index 0eee9bc5..d63f48d5 100644 --- a/src/Interpreter.ml +++ b/src/Interpreter.ml @@ -1525,9 +1525,9 @@ let eval_unary_op (config : config) (ctx : eval_ctx) (unop : unop) | _ -> failwith "Invalid value for unop" let eval_rvalue (config : config) (ctx : eval_ctx) (rvalue : rvalue) : - eval_ctx * typed_value = + (eval_ctx * typed_value) eval_result = match rvalue with - | Use op -> eval_operand config ctx op + | Use op -> Ok (eval_operand config ctx op) | Ref (p, bkind) -> ( match bkind with | Expressions.Shared | Expressions.TwoPhaseMut -> @@ -1557,7 +1557,7 @@ let eval_rvalue (config : config) (ctx : eval_ctx) (rvalue : rvalue) : (* Update the value in the environment *) let env4 = write_place_unwrap config access p nv ctx3.env in (* Return *) - ({ ctx3 with env = env4 }, rv) + Ok ({ ctx3 with env = env4 }, rv) | Expressions.Mut -> (* Access the value *) let access = Write in @@ -1571,8 +1571,8 @@ let eval_rvalue (config : config) (ctx : eval_ctx) (rvalue : rvalue) : (* Update the value in the environment *) let env4 = write_place_unwrap config access p nv ctx3.env in (* Return *) - ({ ctx3 with env = env4 }, rv)) - | UnaryOp (unop, op) -> raise Unimplemented + Ok ({ ctx3 with env = env4 }, rv)) + | UnaryOp (unop, op) -> eval_unary_op config ctx unop op | BinaryOp (binop, op1, op2) -> raise Unimplemented | Discriminant p -> raise Unimplemented | Aggregate (aggregate_kind, ops) -> raise Unimplemented |