diff options
author | Son Ho | 2021-12-17 10:24:00 +0100 |
---|---|---|
committer | Son Ho | 2021-12-17 10:24:00 +0100 |
commit | ed1562db8a72631e36b89171b377e395cb0f8632 (patch) | |
tree | 904d95b499bca3eb9bd685c76bb93a4a51962f97 /src/Values.ml | |
parent | 2e784a2cd8162bdc08b7533ab73ffec9bcd52147 (diff) |
Make minor modifications
Diffstat (limited to '')
-rw-r--r-- | src/Values.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/Values.ml b/src/Values.ml index 8c4c689c..3905d96e 100644 --- a/src/Values.ml +++ b/src/Values.ml @@ -241,6 +241,8 @@ and aloan_content = note independent of the parent avalues. For instance, a value `AMutBorrow (_, AMutBorrow (_, ...)` (ignoring the types) really is to be seen like a `mut_borrow ... (mut_borrow ...)`. + + TODO: be more precise about the ignored vlaues *) and aborrow_content = | AMutBorrow of (BorrowId.id[@opaque]) * typed_avalue |