From 1302f2830905dc63f294aad00d78d03486e13d73 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Sun, 8 Jan 2023 09:42:33 +0100
Subject: Implement a pass to filter the unused input arguments in the loop
 functions

---
 compiler/Pure.ml | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'compiler/Pure.ml')

diff --git a/compiler/Pure.ml b/compiler/Pure.ml
index fe30a650..777d4308 100644
--- a/compiler/Pure.ml
+++ b/compiler/Pure.ml
@@ -312,9 +312,13 @@ type pure_assumed_fun_id =
   | FuelEqZero  (** Test if some fuel is equal to 0 - TODO: ugly *)
 [@@deriving show, ord]
 
+(** A function id for a non-assumed function *)
+type regular_fun_id = A.fun_id * LoopId.id option * T.RegionGroupId.id option
+[@@deriving show, ord]
+
 (** A function identifier *)
 type fun_id =
-  | FromLlbc of A.fun_id * LoopId.id option * T.RegionGroupId.id option
+  | FromLlbc of regular_fun_id
       (** A function coming from LLBC.
 
           The loop id is [None] if the function is actually the auxiliary function
-- 
cgit v1.2.3