2 files changed, 22 insertions, 0 deletions
diff --git a/test/c/letbind.expect b/test/c/letbind.expect
new file mode 100644
index 00000000..7116dc72
--- /dev/null
+++ b/test/c/letbind.expect
@@ -0,0 +1,4 @@
+x = 42
+y = 20
+z = 300000000000000000000000
+size = 32
diff --git a/test/c/letbind.sail b/test/c/letbind.sail
new file mode 100644
index 00000000..2e009e18
--- /dev/null
+++ b/test/c/letbind.sail
@@ -0,0 +1,18 @@
+
+let x : range(0, 255) = 42
+
+let (y, z) = (20, 300000000000000000000000)
+
+let (size as atom('size)) : {|32, 64|} = 32
+
+val print = "print_endline" : string -> unit
+val print_int = "print_int" : (string, int) -> unit
+
+val main : unit -> unit
+
+function main () = {
+  print_int("x = ", x);
+  print_int("y = ", y);
+  print_int("z = ", z);
+  print_int("size = ", size);
+}
+\ No newline at end of file