diff options
Diffstat (limited to 'src/Contexts.ml')
| -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 |