From 83c5be42e1750d329ad31bc9151d7b0446af5a0f Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Fri, 15 Dec 2023 12:14:01 +0100
Subject: Make progress on generalizing the signature information

---
 compiler/PureMicroPasses.ml | 10 +++-------
 1 file changed, 3 insertions(+), 7 deletions(-)

(limited to 'compiler/PureMicroPasses.ml')

diff --git a/compiler/PureMicroPasses.ml b/compiler/PureMicroPasses.ml
index 7f122f15..d92b3de0 100644
--- a/compiler/PureMicroPasses.ml
+++ b/compiler/PureMicroPasses.ml
@@ -1358,11 +1358,7 @@ let decompose_loops (def : fun_decl) : fun_decl * fun_decl list =
                 }
               in
 
-              {
-                fwd_info;
-                back_info = fun_sig_info.back_info;
-                effect_info = loop_effect_info;
-              }
+              { fwd_info; effect_info = loop_effect_info }
             in
             assert (fun_sig_info_is_wf loop_sig_info);
 
@@ -2187,7 +2183,7 @@ let filter_loop_inputs (transl : pure_fun_translation list) :
           in
           (* TODO: *)
           assert (not !Config.return_back_funs);
-          let { fwd_info; back_info; effect_info } = info in
+          let { fwd_info; effect_info } = info in
 
           let {
             has_fuel;
@@ -2212,7 +2208,7 @@ let filter_loop_inputs (transl : pure_fun_translation list) :
             }
           in
 
-          let info = { fwd_info; back_info; effect_info } in
+          let info = { fwd_info; effect_info } in
           assert (fun_sig_info_is_wf info);
           let signature =
             { generics; llbc_generics; preds; inputs; output; doutputs; info }
-- 
cgit v1.2.3