diff options
| author | Son Ho | 2021-12-17 10:27:07 +0100 |
|---|---|---|
| committer | Son Ho | 2021-12-17 10:27:07 +0100 |
| commit | bb90d810c45301871edc68aa10952a5c8ae7905f (patch) | |
| tree | 15bd28a90d6647ff6bdb68b3f2750e2940fd497e /src | |
| parent | ed1562db8a72631e36b89171b377e395cb0f8632 (diff) | |
Update a comment
Diffstat (limited to '')
| -rw-r--r-- | src/Values.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/Values.ml b/src/Values.ml index 3905d96e..38193068 100644 --- a/src/Values.ml +++ b/src/Values.ml @@ -242,7 +242,8 @@ and aloan_content = `AMutBorrow (_, AMutBorrow (_, ...)` (ignoring the types) really is to be seen like a `mut_borrow ... (mut_borrow ...)`. - TODO: be more precise about the ignored vlaues + TODO: be more precise about the ignored borrows (keep track of the borrow + ids) *) and aborrow_content = | AMutBorrow of (BorrowId.id[@opaque]) * typed_avalue |