diff options
| author | Son Ho | 2021-12-17 10:00:25 +0100 |
|---|---|---|
| committer | Son Ho | 2021-12-17 10:00:25 +0100 |
| commit | aba244a99d95938e495ff513ff021c81603b28f1 (patch) | |
| tree | 2df09f2b9fc7c13023b4502f4c1ce3b18430e6ea /src/Interpreter.ml | |
| parent | 776a51ba3c18ce79a68d76eda84e7809e0cdff4b (diff) | |
Start working on visit_ABorrow for end_borrow_get_borrow_in_env
Diffstat (limited to 'src/Interpreter.ml')
| -rw-r--r-- | src/Interpreter.ml | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/src/Interpreter.ml b/src/Interpreter.ml index baf433c2..9a440648 100644 --- a/src/Interpreter.ml +++ b/src/Interpreter.ml @@ -703,8 +703,12 @@ let end_borrow_get_borrow_in_env (io : inner_outer) match bc with | V.AMutBorrow (bid, av) -> raise Unimplemented | V.ASharedBorrow bid -> raise Unimplemented - | V.AIgnoredMutBorrow av -> raise Unimplemented - | V.AIgnoredSharedBorrow asb -> raise Unimplemented + | V.AIgnoredMutBorrow av -> + (* Nothing special to do *) + V.ABorrow (super#visit_AIgnoredMutBorrow outer av) + | V.AIgnoredSharedBorrow asb -> + (* Nothing special to do *) + V.ABorrow (super#visit_AIgnoredSharedBorrow outer asb) method! visit_abs outer abs = (* Update the outer abs *) |