summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rw-r--r--src/Cps.ml12
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 *)