From b259af6d427fa188037dafe1ef19704f31fbbf2c Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Mon, 3 Jun 2024 17:24:06 +0200
Subject: Fix a bug when composing the continuations in eval_statement

---
 compiler/Cps.ml | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'compiler/Cps.ml')

diff --git a/compiler/Cps.ml b/compiler/Cps.ml
index 142c2b08..f7694ba2 100644
--- a/compiler/Cps.ml
+++ b/compiler/Cps.ml
@@ -106,6 +106,12 @@ let cc_singleton file line span cf el =
   | Some _ -> internal_error file line span
   | _ -> None
 
+let cf_singleton file line span el =
+  match el with
+  | Some [ e ] -> Some e
+  | Some _ -> internal_error file line span
+  | _ -> None
+
 (** It happens that we need to concatenate lists of results, for
     instance when evaluating the branches of a match. When applying
     the continuations to build the symbolic expressions, we need
-- 
cgit v1.2.3