diff options
author | Son Ho | 2021-12-17 18:56:37 +0100 |
---|---|---|
committer | Son Ho | 2021-12-17 18:56:37 +0100 |
commit | 9faeb74f98b319ceda993bc6e5b7af0bfa7e1b23 (patch) | |
tree | 2dcfc5d50f12e81d4aa92c491c31e2e73fc82e84 /src/Values.ml | |
parent | 7bd3b03e28ac8591aad130b52376f0827af69e91 (diff) |
Rename AIgnoredShared{Borrow,Loan} to AProjShared{Borrow,Loan}
Diffstat (limited to '')
-rw-r--r-- | src/Values.ml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/Values.ml b/src/Values.ml index 5c38b888..c2def762 100644 --- a/src/Values.ml +++ b/src/Values.ml @@ -254,8 +254,8 @@ and aloan_content = | AEndedSharedLoan of typed_value * typed_avalue | AIgnoredMutLoan of (BorrowId.id[@opaque]) * typed_avalue | AEndedIgnoredMutLoan of { given_back : typed_avalue; child : typed_avalue } - | AIgnoredSharedLoan of (abstract_shared_borrows[@opaque]) - (** TODO: rename. AProjSharedLoan? *) + | AProjSharedLoan of (abstract_shared_borrows[@opaque]) + (** A projected shared loan *) (** Note that when a borrow content is ended, it is replaced by Bottom (while we need to track ended loans more precisely, especially because of their @@ -273,8 +273,8 @@ and aborrow_content = | AMutBorrow of (BorrowId.id[@opaque]) * typed_avalue | ASharedBorrow of (BorrowId.id[@opaque]) | AIgnoredMutBorrow of typed_avalue - | AIgnoredSharedBorrow of (abstract_shared_borrows[@opaque]) - (** TODO: rename. AProjSharedBorrow? *) + | AProjSharedBorrow of (abstract_shared_borrows[@opaque]) + (** A projected shared borrow *) (* TODO: we may want to merge this with typed_value - would prevent some issues when accessing fields... *) |