Update the return values

1 files changed, 7 insertions, 5 deletions

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 *)