diff options
author | Son Ho | 2023-01-04 21:17:30 +0100 |
---|---|---|
committer | Son HO | 2023-02-03 11:21:46 +0100 |
commit | f3eb7aed4082e8f014d03c3c6045852687989a5b (patch) | |
tree | 51b0dcbef16cdfbb41427e4731ca497ae2bb3407 /compiler/Interpreter.ml | |
parent | 0f0cfff07333a4e7762443e261ae9141ce373e54 (diff) |
Implement support for nested borrows in loops, and add loop tests
Diffstat (limited to '')
-rw-r--r-- | compiler/Interpreter.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/compiler/Interpreter.ml b/compiler/Interpreter.ml index dd0051f6..f47c6226 100644 --- a/compiler/Interpreter.ml +++ b/compiler/Interpreter.ml @@ -142,6 +142,8 @@ let evaluate_function_symbolic_synthesize_backward_from_return ^ T.RegionGroupId.to_string back_id ^ "\n- loop_id: " ^ Print.option_to_string V.LoopId.to_string loop_id + ^ "\n- is_regular_return: " + ^ Print.bool_to_string is_regular_return ^ "\n- inside_loop: " ^ Print.bool_to_string inside_loop ^ "\n- ctx:\n" |