Add a basic symbol checker

4 files changed, 66 insertions, 6 deletions

diff --git a/tests/functions.bad b/tests/functions.bad
index fa28d75..3149a24 100644
--- a/tests/functions.bad
+++ b/tests/functions.bad
@@ -9,7 +9,7 @@ fun add_three(a: int, b: int, c: int): int {
 ; Functions that don't return anything must explicitly state it as returning
 ; nil.
 fun foo(): nil {
-    write("hello buddy")
+    println("hello buddy")
 }
 
 ; An alternate form for empty return values.
diff --git a/tests/literals.bad b/tests/literals.bad
index 78750c2..a53853d 100644
--- a/tests/literals.bad
+++ b/tests/literals.bad
@@ -31,6 +31,6 @@ false
 ; Nil.
 nil
 
-; Symbols.
-symbols_support
-🥰_💩_symbols
+; Unicode is supported also in symbols.
+let 💩 = "poo"
+let 🥰 = 💩
diff --git a/tests/loops.bad b/tests/loops.bad
index 45c9712..d42716f 100644
--- a/tests/loops.bad
+++ b/tests/loops.bad
@@ -1,11 +1,12 @@
 ; The most basic loop is the while loop.
-while (abc) "heelo"
+while (true) "heelo"
 
 while (1 + 2 == 3) {
     "hello"
 }
 
-while (symbol) {
+let a = true
+while (a) {
     "hello"
 }
 
diff --git a/tests/semantics.bad b/tests/semantics.bad
new file mode 100644
index 0000000..4ce40b9
--- /dev/null
+++ b/tests/semantics.bad
@@ -0,0 +1,59 @@
+fun foo(): nil {
+    bar()
+}
+
+fun bar(): nil {
+    foo()
+}
+
+; There are some builtint functions.
+println("hello world")
+
+; Let/set.
+let num = 1
+set num = 2
+set num = 0 + num
+
+; Loops and conditionals.
+if (num) 3 else 1
+let val = if (2 + num == 4) num else num
+if (true) {
+    let c = 1
+    1 + 1 + c
+}
+
+match (num) {
+    case 1 = 23
+    case 2 = num
+    else = num
+}
+
+cond {
+    case 1 == 1 = 23
+    case 2 != 1 = num
+    else = num
+}
+
+while (num == 1) num
+while (true) {
+    let c = 1
+    1 + 1 + c
+}
+
+fun nested(): u32 {
+    fun adder(a: u32, b: u32): u32 a + b
+    adder(1,2)
+}
+
+; This should err.
+; fun foo(): nil {
+;     1
+; }
+; let b = a
+; let a = a
+; set a = 10
+; set num = 1 << a
+; baz()
+; if (a) 1
+; if (num == 1) a
+; if (num == 1) 1 else a