diff options
Diffstat (limited to 'src/Values.ml')
-rw-r--r-- | src/Values.ml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/Values.ml b/src/Values.ml index 1a61f296..458fbdec 100644 --- a/src/Values.ml +++ b/src/Values.ml @@ -159,6 +159,9 @@ and typed_value = { value : value; ty : ety } Note that as shared values can't get modified it is ok to forget the structure of the values we projected, and only keep the set of borrows (and symbolic values). + + TODO: we may actually need to remember the structure, in order to know + which borrows are inside which other borrows... *) type abstract_shared_borrow = | AsbBorrow of (BorrowId.id[@opaque]) |