1 files changed, 21 insertions, 0 deletions
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|])
+}