From f80a03e1b124f201a25197f3e983568843d73de2 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Wed, 19 Jan 2022 21:45:51 +0100
Subject: Update the return values

---
 src/Cps.ml | 12 +++++++-----
 1 file changed, 7 insertions(+), 5 deletions(-)

(limited to 'src/Cps.ml')

diff --git a/src/Cps.ml b/src/Cps.ml
index adb42831..fca22fd3 100644
--- a/src/Cps.ml
+++ b/src/Cps.ml
@@ -6,15 +6,17 @@ module V = Values
 module C = Contexts
 
 (** Result of evaluating a statement *)
-type statement_eval_res = Unit | Break of int | Continue of int | Return
+type statement_eval_res =
+  | Unit
+  | Break of int
+  | Continue of int
+  | Return
+  | Panic
 
 (** Synthesized expresssion - dummy for now *)
 type sexpr = SExpr
 
-(** TODO: change the name *)
-type eval_error = Panic
-
-type eval_result = (sexpr option, eval_error) Result.result
+type eval_result = sexpr option
 
 type m_fun = C.eval_ctx -> eval_result
 (** Monadic function *)
-- 
cgit v1.2.3