diff options
| author | Son Ho | 2022-01-13 21:32:06 +0100 |
|---|---|---|
| committer | Son Ho | 2022-01-13 21:32:06 +0100 |
| commit | 19783cea9664e5ac0b14419b4aa961716010aafb (patch) | |
| tree | 47d22bf2a18d70d180129c2b41fe19c4bb836438 /src/Values.ml | |
| parent | e9c3dfc34d7cac0d2449b4d11db5adf7218b25db (diff) | |
Introduce "AIgnore" for the avalues
Diffstat (limited to '')
| -rw-r--r-- | src/Values.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Values.ml b/src/Values.ml index 41d8bd85..707986f8 100644 --- a/src/Values.ml +++ b/src/Values.ml @@ -250,6 +250,7 @@ type avalue = | ALoan of aloan_content | ABorrow of aborrow_content | ASymbolic of aproj + | AIgnored (** A value we don't own and thus ignore *) and adt_avalue = { variant_id : (VariantId.id option[@opaque]); |