summaryrefslogtreecommitdiff
path: root/compiler/InterpreterLoops.mli
diff options
context:
space:
mode:
Diffstat (limited to 'compiler/InterpreterLoops.mli')
-rw-r--r--compiler/InterpreterLoops.mli6
1 files changed, 4 insertions, 2 deletions
diff --git a/compiler/InterpreterLoops.mli b/compiler/InterpreterLoops.mli
index 7395739b..03633861 100644
--- a/compiler/InterpreterLoops.mli
+++ b/compiler/InterpreterLoops.mli
@@ -56,7 +56,9 @@
From here, we deduce that [abs@fp { MB l0, ML l1}] is the loop abstraction.
*)
-module C = Contexts
+open Contexts
+open Cps
+open Meta
(** Evaluate a loop *)
-val eval_loop : C.config -> Cps.st_cm_fun -> Cps.st_cm_fun
+val eval_loop : config -> meta -> st_cm_fun -> st_cm_fun