From 309435d24edb689736da83025eb08a6761b28b8b Mon Sep 17 00:00:00 2001
From: Aymeric Fromherz
Date: Mon, 27 May 2024 17:51:50 +0200
Subject: Split collapse into collapse and reduce, rename accordingly

---
 compiler/InterpreterLoopsMatchCtxs.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'compiler/InterpreterLoopsMatchCtxs.mli')

diff --git a/compiler/InterpreterLoopsMatchCtxs.mli b/compiler/InterpreterLoopsMatchCtxs.mli
index ab585220..7d214cb6 100644
--- a/compiler/InterpreterLoopsMatchCtxs.mli
+++ b/compiler/InterpreterLoopsMatchCtxs.mli
@@ -188,7 +188,7 @@ val prepare_match_ctx_with_target :
 
    We want to introduce an abstraction [abs@2], which has the same shape as [abs@fp]
    above (the fixed-point abstraction), and which is actually the identity. If we do so,
-   we get an environment which is actually also a fixed point (we can collapse
+   we get an environment which is actually also a fixed point (we can reduce 
    the dummy variables and [abs@1] to actually retrieve the fixed point we
    computed, and we use the fact that those values and abstractions can't be
    *directly* manipulated unless we end this newly introduced [abs@2], which we
-- 
cgit v1.2.3


From 9aa328a70011d2784a943830bffabc600caba4ab Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Mon, 3 Jun 2024 12:52:04 +0200
Subject: Cleanup a bit

---
 compiler/InterpreterLoopsMatchCtxs.mli | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

(limited to 'compiler/InterpreterLoopsMatchCtxs.mli')

diff --git a/compiler/InterpreterLoopsMatchCtxs.mli b/compiler/InterpreterLoopsMatchCtxs.mli
index 7d214cb6..cd807358 100644
--- a/compiler/InterpreterLoopsMatchCtxs.mli
+++ b/compiler/InterpreterLoopsMatchCtxs.mli
@@ -13,13 +13,11 @@ open InterpreterLoopsCore
 (** Compute various maps linking the abstractions and the borrows/loans they contain.
 
     Parameters:
-    - [no_duplicates]: checks that borrows/loans are not referenced more than once
-      (see the documentation for {!type:InterpreterLoopsCore.abs_borrows_loans_maps}).
     - [explore]: this function is used to filter abstractions.
     - [env]
  *)
 val compute_abs_borrows_loans_maps :
-  Meta.span -> bool -> (abs -> bool) -> env -> abs_borrows_loans_maps
+  Meta.span -> (abs -> bool) -> env -> abs_borrows_loans_maps
 
 (** Generic functor to implement matching functions between values, environments,
     etc.
-- 
cgit v1.2.3