add test for constants in outer block

1 files changed, 17 insertions, 0 deletions

diff --git a/progs/tests/global_constants.sy b/progs/tests/global_constants.sy
new file mode 100644
index 0000000..7ee6ca5
--- /dev/null
+++ b/progs/tests/global_constants.sy
@@ -0,0 +1,17 @@
+// TODO(ed): Pure functions
+fac :: fn n: int -> int {
+    if n < 1 { ret 1 }
+    ret n * fac! n - 1
+}
+
+a :: fac! 4
+b :: a + fac! 2
+c := b + 1
+
+start :: fn {
+    a <=> 24
+    b <=> 24 + 2
+    c <=> 24 + 2 + 1
+    c += 1
+    c <=> 24 + 2 + 2
+}