diff options
author | Son Ho | 2022-12-01 11:26:30 +0100 |
---|---|---|
committer | Son HO | 2023-02-03 11:21:46 +0100 |
commit | 834ea9747fced38f222aec251d2eaaf14a3328e2 (patch) | |
tree | 444da6e482b7896bacf28d1fb55d65e5435ef59b /compiler/InterpreterBorrowsCore.ml | |
parent | 4c30e381a96a4d1a0d2dab20fbcc08bd91cad0ec (diff) |
Improve some visitors and ctx_merge_regions
Diffstat (limited to 'compiler/InterpreterBorrowsCore.ml')
-rw-r--r-- | compiler/InterpreterBorrowsCore.ml | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/compiler/InterpreterBorrowsCore.ml b/compiler/InterpreterBorrowsCore.ml index 6db23cc4..fced4fbb 100644 --- a/compiler/InterpreterBorrowsCore.ml +++ b/compiler/InterpreterBorrowsCore.ml @@ -199,12 +199,7 @@ let compute_contexts_ids (ctxl : C.eval_ctx list) : ctx_ids = let obj = object inherit [_] C.iter_eval_ctx - - method! visit_binder _ bv = - match bv with - | VarBinder _ -> () - | DummyBinder bid -> dids := C.DummyVarId.Set.add bid !dids - + method! visit_dummy_var_id _ did = dids := C.DummyVarId.Set.add did !dids method! visit_borrow_id _ id = bids := V.BorrowId.Set.add id !bids method! visit_loan_id _ id = |