From f18050b550a01f872e55c1adcb50c41a379d52e8 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Wed, 7 Dec 2022 00:16:50 +0100
Subject: Implement [match_ctx_with_target]

---
 compiler/Interpreter.ml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'compiler/Interpreter.ml')

diff --git a/compiler/Interpreter.ml b/compiler/Interpreter.ml
index d8a99d80..4c1bc047 100644
--- a/compiler/Interpreter.ml
+++ b/compiler/Interpreter.ml
@@ -270,11 +270,13 @@ let evaluate_function_symbolic (synthesize : bool)
           (* Put everything together *)
           S.synthesize_forward_end fwd_e back_el
         else None
+    | EndEnterLoop -> failwith "Unimplemented"
+    | EndContinue -> failwith "Unimplemented"
     | Panic ->
         (* Note that as we explore all the execution branches, one of
          * the executions can lead to a panic *)
         if synthesize then Some SA.Panic else None
-    | _ ->
+    | Unit | Break _ | Continue _ ->
         raise
           (Failure ("evaluate_function_symbolic failed on: " ^ name_to_string ()))
   in
-- 
cgit v1.2.3