5 files changed, 186 insertions, 90 deletions

diff --git a/tests/compilation.bad b/tests/compilation.bad
index ea467d2..49a5492 100644
--- a/tests/compilation.bad
+++ b/tests/compilation.bad
@@ -1,93 +1,100 @@
-fun adder(a: int): int {
-    ; a + 1
-    4
-}
-adder(2)
-; let a = 1
-; let b = 8
-
-; a + b
-; 1 + 2
-; fun greet(name: str): nil {
-; fun greet(name: str): nil {
-;     println("hello ")
-; }
-
-; greet("alex")
-; greet("ding")
-; greet()
-; if true {
-;     1
-;     nil
-; }
-; let a = 1
-; let p = @a
-; let arr: int[8]
-; set p[0] = 2
-
-; let b = p[0]
-; println("a: " a)
-; println("b: " b)
-; let i = 0
-; while i < 8 {
-;     set arr[i] = i
-;     set i = i + 1
-; }
-; println("arr[0]: " arr[0])
-; println("arr[1]: " arr[1])
-
-; let arr: int[8]
-; set arr[1] = 2
-
-; let idx = 3
-; set arr[idx] = 3
-
-; println("arr[0]: " arr[0])
-; println("arr[1]: " arr[1])
-; println("arr[2]: " arr[2])
-; println("arr[3]: " arr[3])
-
-; arr[0] + arr[1] + arr[2] + arr[3]
-
-; set a = 2
-
-; let a = cond {
-;     1 == 1 = 42
-;     1 == 3 = 55
-;     1 == 1 = 66
-;     else = 10
+let a: Int = 32
+let ptr = @a
+println("a    "     a)
+println("ptr  "    ptr)
+
+set ptr@ = 12
+println("a    "     a)
+println("ptr  "    ptr)
+
+let ptr2 = @ptr
+set ptr2@@ = 6
+println("a    "     a)
+println("ptr  "    ptr)
+
+; let a: Int = 32
+; let b: Int = 64
+; let ptr = @a
+; println("a "     a)
+; println("b "     b)
+; println("ptr " ptr)
+
+; println("ptr@ " ptr@)
+
+; { ; FIXME: This doesn't work yet
+;     set ptr@ = 12
+;     println(a)
+;     println(b)
+;     println(ptr)
 ; }
 
+; set ptr += 8
+; println(ptr@)
+
+; let a: Int = 32
+; let b: @Int = @a
+; let c = @a
+; let d = @c
+; let e = a + b@
+; let f = d@
+
+; println("a                    -> " a)
+; println("b                    -> " b)
+; println("c                    -> " c)
+; println("d                    -> " d)
+; println("e                    -> " e)
+; println("f                    -> " f)
+; println("b@                   -> " b@)
+; println("d@                   -> " d@)
+; println("d@@                  -> " d@@)
+; println("a == b@ and a == d@@ -> " a == b@ and a == d@@)
+; println("b == c and c == d@   -> " b == c and c == d@)
+
+; println("b[0] " b[0])
+; println("c[0] " c[0])
+; println("d[0] " d[0])
+
+; let c = @a
+; let d = @c
+; let c: Int = a@ + 1
+; let c: @@Int = @b
+; let d: @@@Int = @c
+; let static_array: [24]Int
+; let fun_ptr: (Int Int : Int)
+
+; let a: U16 = 0x0afafafafafafafafafa
+; println(a)
+; let a: U32 = -2
+; ; let a: U32 = -2 + -1
+; let b: @U32 = @a
+; ; let a = "hello"
+; ; let b = a
+; set a = 1
+; let a = "hello"
+; let b = "world"
+
+; println(a)
+; println(b)
+
+; set b = a
+; set a = "WOOWOWO"
+
+; println(a)
+; println(b)
+
+; let a: S32[4]
+; set a[0] = 1
+; set a[1] = 2
+; set a[2] = 4
+; set a[3] = 8
+; let b = a
+; println(a[0] "--" a[1] "--" a[2] "--" a[3])
+; println(b[0] "--" b[1] "--" b[2] "--" b[3])
+
+; let a = 1 + 2
 ; a
-
-; let a = 8
-; let b = 16
-; let c = {
-;     let a = 32
-;     a + 8
-; }
-
-; a + b + c
-
-; let a = 1
-; if false {
-;     set a = 2
-; }
-; a
-
-; if true {
-;     1 + 2
-; } else {
-;     3 + 4
-; }
-
-; let a = 0
-; while a < 10 {
-;     set a = a + 1
-; }
-
-; a
-
-; print(1)
-; println(1.0 + 2.0)
-; println("hello world " 1 " " 2.0 " wow!")
+; let sum_int_uint: U16 = -2 + 0x5
+; ; let sum_int_uint = -2
+; println(sum_int_uint)
+; let varint: U16 = 0x0102030405060708
+; let varfloat: F32 = 1.0
diff --git a/tests/logic-shortcircuit.bad b/tests/logic-shortcircuit.bad
new file mode 100644
index 0000000..a7e315e
--- /dev/null
+++ b/tests/logic-shortcircuit.bad
@@ -0,0 +1,16 @@
+fun ret_true(): Bool {
+    print("ret_true ")
+    true
+}
+
+fun ret_false(): Bool {
+    print("ret_false ")
+    false
+}
+
+println("test1: " ret_true() and ret_false() and ret_true())
+println("test2: " ret_true() and ret_true() and ret_true())
+println("test3: " ret_false() and ret_true() and ret_true())
+println("test4: " ret_false() or ret_true() or ret_false())
+println("test5: " ret_true() or ret_true() or ret_false())
+println("test6: " ret_true() and (ret_true() or ret_false()))
diff --git a/tests/nested.bad b/tests/nested.bad
new file mode 100644
index 0000000..75eb967
--- /dev/null
+++ b/tests/nested.bad
@@ -0,0 +1,18 @@
+fun printer() println("wowo!")
+
+let y = 4
+fun nested() {
+    fun adder(a: Int b: Int): Int {
+        fun printer() println("ho!")
+        printer()
+        printer()
+        printer()
+        y + a + b
+    }
+    for let i = 0, i < 2, set i += 1 {
+        println("i: " i " " adder(i, 2))
+    }
+}
+
+nested()
+printer()
diff --git a/tests/pointers.bad b/tests/pointers.bad
new file mode 100644
index 0000000..eda44b0
--- /dev/null
+++ b/tests/pointers.bad
@@ -0,0 +1,36 @@
+{
+    let a: Int = 32
+    let b: @Int = @a
+    let c = @a
+    let d = @c
+    let e = a + b@
+    let f = d@
+
+    println("a                    -> " a)
+    println("b                    -> " b)
+    println("c                    -> " c)
+    println("d                    -> " d)
+    println("e                    -> " e)
+    println("f                    -> " f)
+    println("b@                   -> " b@)
+    println("d@                   -> " d@)
+    println("d@@                  -> " d@@)
+    println("a == b@ and a == d@@ -> " a == b@ and a == d@@)
+    println("b == c and c == d@   -> " b == c and c == d@)
+}
+
+{
+    let a: Int = 32
+    let ptr = @a
+    println("a    "     a)
+    println("ptr  "    ptr)
+
+    set ptr@ = 12
+    println("a    "     a)
+    println("ptr  "    ptr)
+
+    let ptr2 = @ptr
+    set ptr2@@ = 6
+    println("a    "     a)
+    println("ptr  "    ptr)
+}
diff --git a/tests/recursion.bad b/tests/recursion.bad
new file mode 100644
index 0000000..0ab7fa0
--- /dev/null
+++ b/tests/recursion.bad
@@ -0,0 +1,19 @@
+fun recur(num: UInt) {
+    println("NUM: " num)
+    if num == 0 return(nil)
+    recur2(num - 1)
+}
+
+fun recur2(num: Int) {
+    println("NUM: " num)
+    if num == 0 return(nil)
+    recur(num - 1)
+}
+
+recur(5)
+
+fun infrecur(msg: Str, num: Int) {
+    println("NUM: " msg " " num)
+    infrecur(msg num + 1)
+}
+infrecur(" -> " 8)