diff options
| author | Son Ho | 2023-12-19 12:54:40 +0100 |
|---|---|---|
| committer | Son Ho | 2023-12-19 12:54:40 +0100 |
| commit | 4f7bc41dcbc6187512111a81f968726452024d25 (patch) | |
| tree | bc78af79887a3165dcf5d7a837992b09cc6d3071 /compiler/Translate.ml | |
| parent | 116b569d1b08a57c3ad66071979a1c966fdad3a2 (diff) | |
Simplify SymbolicToPure.bs_ctx.{backward_outputs, loop_backward_outputs}
Diffstat (limited to '')
| -rw-r--r-- | compiler/Translate.ml | 17 |
1 files changed, 1 insertions, 16 deletions
diff --git a/compiler/Translate.ml b/compiler/Translate.ml index e153f4f4..0fa0202b 100644 --- a/compiler/Translate.ml +++ b/compiler/Translate.ml @@ -171,8 +171,7 @@ let translate_function_to_pure (trans_ctx : trans_ctx) backward_inputs_no_state = RegionGroupId.Map.empty; (* Initialized just below *) backward_inputs_with_state = RegionGroupId.Map.empty; - (* Initialized just below *) - backward_outputs = RegionGroupId.Map.empty; + backward_outputs = None; loop_backward_outputs = None; (* Empty for now *) calls; @@ -234,20 +233,6 @@ let translate_function_to_pure (trans_ctx : trans_ctx) in let ctx = { ctx with backward_inputs_no_state; backward_inputs_with_state } in - (* Add the backward outputs *) - let ctx, backward_outputs = - List.fold_left_map - (fun ctx (region_vars : region_var_group) -> - let gid = region_vars.id in - let back_sg = RegionGroupId.Map.find gid sg.back_sg in - let outputs = List.combine back_sg.output_names back_sg.outputs in - let ctx, vars = SymbolicToPure.fresh_vars outputs ctx in - (ctx, (gid, vars))) - ctx regions_hierarchy - in - let backward_outputs = RegionGroupId.Map.of_list backward_outputs in - let ctx = { ctx with backward_outputs } in - (* Translate the forward function *) let pure_forward = match symbolic_trans with |