diff options
author | Son Ho | 2022-01-27 11:19:50 +0100 |
---|---|---|
committer | Son Ho | 2022-01-27 11:21:05 +0100 |
commit | 98677400fc27087ab4443094fb94a95412515422 (patch) | |
tree | 0c6354c1a4b69b2a30d9b4e7909d90a0ddcb48ee /src/Translate.ml | |
parent | 2c9f43840c7c2721d8fab9981ecac9cc0e6fafd5 (diff) |
Add some printing facilities to SymbolicToPure
Diffstat (limited to 'src/Translate.ml')
-rw-r--r-- | src/Translate.ml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/Translate.ml b/src/Translate.ml index ec580258..ce9f085c 100644 --- a/src/Translate.ml +++ b/src/Translate.ml @@ -90,6 +90,7 @@ let translate_function_to_pure (config : C.partial_config) var_counter; type_context; fun_context; + fun_def = fdef; forward_inputs = []; (* Empty for now *) backward_inputs = T.RegionGroupId.Map.empty; @@ -116,7 +117,7 @@ let translate_function_to_pure (config : C.partial_config) (* Translate the forward function *) let pure_forward = - SymbolicToPure.translate_fun_def fdef + SymbolicToPure.translate_fun_def (add_forward_inputs (fst symbolic_forward) ctx) (snd symbolic_forward) in @@ -155,7 +156,7 @@ let translate_function_to_pure (config : C.partial_config) in (* Translate *) - SymbolicToPure.translate_fun_def fdef ctx symbolic + SymbolicToPure.translate_fun_def ctx symbolic in let pure_backwards = List.map translate_backward fdef.signature.regions_hierarchy |