From 12edcd22c20f480ca73bcfdfb08477fb0480657d Mon Sep 17 00:00:00 2001
From: Alasdair
Date: Sun, 1 Nov 2020 15:00:11 +0000
Subject: Fix interpreter pattern matching bug

---
 src/interpreter.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/interpreter.ml')

diff --git a/src/interpreter.ml b/src/interpreter.ml
index b0faabce..fb798b65 100644
--- a/src/interpreter.ml
+++ b/src/interpreter.ml
@@ -748,7 +748,7 @@ and pattern_match env (P_aux (p_aux, (l, _)) as pat) value =
         let hd_match, hd_bind = pattern_match env hd_pat hd_value in
         let tl_match, tl_bind = pattern_match env tl_pat (V_list tl_values) in
         hd_match && tl_match, Bindings.merge combine hd_bind tl_bind
-     | None -> failwith "Cannot match cons pattern against non-list"
+     | None -> false, Bindings.empty
      end
   | P_string_append _ -> assert false (* TODO *)
 
-- 
cgit v1.2.3