diff options
author | Son Ho | 2021-11-23 14:36:33 +0100 |
---|---|---|
committer | Son Ho | 2021-11-23 14:36:33 +0100 |
commit | ce5bbb12a1f568050957fa3d1d34d761729d0880 (patch) | |
tree | 51623eff6f4d9fc28f8f0fe7c7508c46440aeda4 /src/Contexts.ml | |
parent | b96bd19fe1ff22c2f1e03332468d4e6abb8a947e (diff) |
Implement copy_value
Diffstat (limited to '')
-rw-r--r-- | src/Contexts.ml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/Contexts.ml b/src/Contexts.ml index 88af46d4..6d6766b4 100644 --- a/src/Contexts.ml +++ b/src/Contexts.ml @@ -36,13 +36,13 @@ type eval_ctx = { } (** Evaluation context *) -let fresh_symbolic_value_id (ctx : eval_ctx) : SymbolicValueId.id * eval_ctx = +let fresh_symbolic_value_id (ctx : eval_ctx) : eval_ctx * SymbolicValueId.id = let id, counter' = SymbolicValueId.fresh ctx.symbolic_counter in - (id, { ctx with symbolic_counter = counter' }) + ({ ctx with symbolic_counter = counter' }, id) -let fresh_borrow_id (ctx : eval_ctx) : BorrowId.id * eval_ctx = +let fresh_borrow_id (ctx : eval_ctx) : eval_ctx * BorrowId.id = let id, counter' = BorrowId.fresh ctx.borrow_counter in - (id, { ctx with borrow_counter = counter' }) + ({ ctx with borrow_counter = counter' }, id) let lookup_type_var (ctx : eval_ctx) (vid : TypeVarId.id) : type_var = TypeVarId.nth ctx.type_vars vid |