diff options
| author | Son Ho | 2022-11-06 17:17:14 +0100 |
|---|---|---|
| committer | Son HO | 2022-11-07 10:36:13 +0100 |
| commit | 511b483f3ba8247aaf90ab648d54b37a04c39929 (patch) | |
| tree | 4dd4d85c35615308b8313b08371fe364bd87a796 /compiler/InterpreterBorrowsCore.ml | |
| parent | 674c1ab7e65e32792238ac4cd2b210b6273232f3 (diff) | |
Remove the argument [end_borrows] from prepare_lplace and drop_outer_loans_at_lplace
Diffstat (limited to 'compiler/InterpreterBorrowsCore.ml')
| -rw-r--r-- | compiler/InterpreterBorrowsCore.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/InterpreterBorrowsCore.ml b/compiler/InterpreterBorrowsCore.ml index 89c22f18..6f9b2ffe 100644 --- a/compiler/InterpreterBorrowsCore.ml +++ b/compiler/InterpreterBorrowsCore.ml @@ -610,8 +610,8 @@ let get_first_borrow_in_value (v : V.typed_value) : V.borrow_content option = the outer ones). [with_borrows]: - - if true: return the first loan or borrow we find - - if false: return the first loan we find, do not dive into borrowed values + - if [true]: return the first loan or borrow we find + - if [false]: return the first loan we find, do not dive into borrowed values *) let get_first_outer_loan_or_borrow_in_value (with_borrows : bool) (v : V.typed_value) : loan_or_borrow_content option = |