From 5a3b8b399c182f38586b44abcf53041845d0f672 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Mon, 3 Jun 2024 20:50:56 +0200
Subject: Fix an issue with the type of the values given back by loops

---
 compiler/InterpreterLoopsFixedPoint.mli | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'compiler/InterpreterLoopsFixedPoint.mli')

diff --git a/compiler/InterpreterLoopsFixedPoint.mli b/compiler/InterpreterLoopsFixedPoint.mli
index 59d42812..8db7b973 100644
--- a/compiler/InterpreterLoopsFixedPoint.mli
+++ b/compiler/InterpreterLoopsFixedPoint.mli
@@ -81,10 +81,11 @@ val compute_loop_entry_fixed_point :
   Meta.span ->
   loop_id ->
   (* This function is the function to evaluate the loop body (eval_statement applied
-     to the proper arguments) *)
+     to the proper arguments). We need to take it as input because [compute_loop_entry_fixed_point]
+     is mutually recursive with [eval_statement], but doesn't live in the same module. *)
   Cps.stl_cm_fun ->
   eval_ctx ->
-  eval_ctx * ids_sets * abs SymbolicAst.region_group_id_map
+  eval_ctx * ids_sets * AbstractionId.id SymbolicAst.region_group_id_map
 
 (** For the abstractions in the fixed point, compute the correspondance between
     the borrows ids and the loans ids, if we want to introduce equivalent
-- 
cgit v1.2.3