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

---
 test/c/empty_list.expect |  5 +++++
 test/c/empty_list.sail   | 21 +++++++++++++++++++++
 2 files changed, 26 insertions(+)
 create mode 100644 test/c/empty_list.expect
 create mode 100644 test/c/empty_list.sail

(limited to 'test')

diff --git a/test/c/empty_list.expect b/test/c/empty_list.expect
new file mode 100644
index 00000000..e9c361a4
--- /dev/null
+++ b/test/c/empty_list.expect
@@ -0,0 +1,5 @@
+end
+.
+.
+.
+end
diff --git a/test/c/empty_list.sail b/test/c/empty_list.sail
new file mode 100644
index 00000000..a6ce0a91
--- /dev/null
+++ b/test/c/empty_list.sail
@@ -0,0 +1,21 @@
+default Order dec
+$include <prelude.sail>
+$include <string.sail>
+
+val list_test : list(int) -> unit
+
+function list_test(xs) =
+  match xs {
+    x :: xs => {
+      print_endline(".");
+      list_test(xs)
+    },
+    [||] => print_endline("end")
+  }
+
+val main : unit -> unit
+
+function main() = {
+  list_test([||]);
+  list_test([|1, 2, 3|])
+}
-- 
cgit v1.2.3