From 7e50cacd736fc85930bd22689fb7e2b61ddda794 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 30 May 2024 22:37:08 +0200
Subject: Remove the cps.eval_result type

---
 compiler/InterpreterExpressions.mli | 12 ++++++++----
 1 file changed, 8 insertions(+), 4 deletions(-)

(limited to 'compiler/InterpreterExpressions.mli')

diff --git a/compiler/InterpreterExpressions.mli b/compiler/InterpreterExpressions.mli
index feb641d1..29234ea9 100644
--- a/compiler/InterpreterExpressions.mli
+++ b/compiler/InterpreterExpressions.mli
@@ -25,7 +25,7 @@ val access_rplace_reorganize_and_read :
   access_kind ->
   place ->
   eval_ctx ->
-  typed_value * eval_ctx * (eval_result -> eval_result)
+  typed_value * eval_ctx * (SymbolicAst.expression -> SymbolicAst.expression)
 
 (** Evaluate an operand.
 
@@ -41,7 +41,7 @@ val eval_operand :
   Meta.span ->
   operand ->
   eval_ctx ->
-  typed_value * eval_ctx * (eval_result -> eval_result)
+  typed_value * eval_ctx * (SymbolicAst.expression -> SymbolicAst.expression)
 
 (** Evaluate several operands at once. *)
 val eval_operands :
@@ -49,7 +49,9 @@ val eval_operands :
   Meta.span ->
   operand list ->
   eval_ctx ->
-  typed_value list * eval_ctx * (eval_result -> eval_result)
+  typed_value list
+  * eval_ctx
+  * (SymbolicAst.expression -> SymbolicAst.expression)
 
 (** Evaluate an rvalue which is not a global (globals are handled elsewhere).
 
@@ -63,7 +65,9 @@ val eval_rvalue_not_global :
   Meta.span ->
   rvalue ->
   eval_ctx ->
-  (typed_value, eval_error) result * eval_ctx * (eval_result -> eval_result)
+  (typed_value, eval_error) result
+  * eval_ctx
+  * (SymbolicAst.expression -> SymbolicAst.expression)
 
 (** Evaluate a fake read (update the context so that we can read a place) *)
 val eval_fake_read : config -> Meta.span -> place -> cm_fun
-- 
cgit v1.2.3