diff options
| author | Son Ho | 2021-12-08 18:38:44 +0100 |
|---|---|---|
| committer | Son Ho | 2021-12-08 18:38:44 +0100 |
| commit | 4635d1df7c09eb4a251d943a531c14ed5ecf00cf (patch) | |
| tree | cb50fe4041907aa14003af64ac7f8d1998a8b080 /src/Values.ml | |
| parent | 276a8f780aee4190d2f592e4586387abe700c5fe (diff) | |
Implement update_{aloan, aborrow}
Diffstat (limited to '')
| -rw-r--r-- | src/Values.ml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/Values.ml b/src/Values.ml index 4f57f1ef..bd07ce98 100644 --- a/src/Values.ml +++ b/src/Values.ml @@ -1,6 +1,10 @@ open Identifiers open Types +(* TODO: I often write "abstract" (value, borrow content, etc.) while I should + * write "abstraction" (because those values are not abstract, they simply are +* inside abstractions) *) + module VarId = IdGen () module BorrowId = IdGen () |