From 15f13494becbb3cf4afe8fee51b5cef50f807b52 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Wed, 15 Nov 2023 22:06:58 +0100
Subject: Do more cleanup

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

(limited to 'compiler/InterpreterLoops.mli')

diff --git a/compiler/InterpreterLoops.mli b/compiler/InterpreterLoops.mli
index 7395739b..320e4bcb 100644
--- a/compiler/InterpreterLoops.mli
+++ b/compiler/InterpreterLoops.mli
@@ -56,7 +56,8 @@
     From here, we deduce that [abs@fp { MB l0, ML l1}] is the loop abstraction.
   *)
 
-module C = Contexts
+open Contexts
+open Cps
 
 (** Evaluate a loop *)
-val eval_loop : C.config -> Cps.st_cm_fun -> Cps.st_cm_fun
+val eval_loop : config -> st_cm_fun -> st_cm_fun
-- 
cgit v1.2.3


From 77ba13b371cccbe8098e432ebd287108d5373666 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Tue, 21 Nov 2023 14:43:12 +0100
Subject: Add span information to the generated code

---
 compiler/InterpreterLoops.mli | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'compiler/InterpreterLoops.mli')

diff --git a/compiler/InterpreterLoops.mli b/compiler/InterpreterLoops.mli
index 320e4bcb..03633861 100644
--- a/compiler/InterpreterLoops.mli
+++ b/compiler/InterpreterLoops.mli
@@ -58,6 +58,7 @@
 
 open Contexts
 open Cps
+open Meta
 
 (** Evaluate a loop *)
-val eval_loop : config -> st_cm_fun -> st_cm_fun
+val eval_loop : config -> meta -> st_cm_fun -> st_cm_fun
-- 
cgit v1.2.3