8 files changed, 382 insertions, 32 deletions

diff --git a/tests/compilation.bad b/tests/compilation.bad
index 120c020..bd4ebbd 100644
--- a/tests/compilation.bad
+++ b/tests/compilation.bad
@@ -1,27 +1,234 @@
-let a = 8
-{
-    let a = 1 + 2 * 4
-    let b = 3.0
-}
-; 0xf | 0xf0
-; 0xf & 0xff
-; 0x1 << 2
-; 0x1 << 2
-; (~0xf & 0xfff << 8) == 0xfff00
-; 0xf << 4 | 0xf
-; 1 + 2
-; 1 < 2
-; !(1 == 0 || 1 <= 1)
-; 1 == 1 && 1 <= 1
-; !((1 * 2 * 3) * (1 * 2 * 3) >= 3 && 4 != 3 + 2)
-; 1 + 2 * 3
-; 1.0 + 2.0 * 3.0
-; true
-; false
-; 0 1
-; "hello"
-; "world"
-; fun foo(): int {
-;     32
+let a: [32]U8
+a[1]
+; a@
+
+; TODO
+; let x = [32]@S8
+; let y = @x
+; a@[1] ; -> x[1]
+
+; fun foo(a: Int b: S32): U32 {
+;     fun bar() {
+;         println("DING")
+;     }
+;     a + b
 ; }
-; 1 + 2 + foo()
+;     fun bar() {
+;         println("DING")
+;     }
+; let b = 4
+; let a: [32][32]U8
+; set a[0] = 1
+; set a[1] = 2
+; ; let a: @@U32
+; ; let b = sizeof(Int)
+; ; let b = Int
+
+; let a: U64
+; let b: U32
+; let c: U16
+; let d: U8
+; let buf1: [16]U8
+; let buf2: [17]U8
+
+; println("sizeof(Ptr)  = " sizeof(Ptr))
+; println("sizeof(Int)  = " sizeof(Int))
+; println("sizeof(UInt) = " sizeof(UInt))
+; println("sizeof(U64)  = " sizeof(U64))
+; println("sizeof(U32)  = " sizeof(U32))
+; println("sizeof(U16)  = " sizeof(U16))
+; println("sizeof(U8)   = " sizeof(U8))
+; println("sizeof(S64)  = " sizeof(S64))
+; println("sizeof(S32)  = " sizeof(S32))
+; println("sizeof(S16)  = " sizeof(S16))
+; println("sizeof(S8)   = " sizeof(S8))
+; println("sizeof(F32)  = " sizeof(F32))
+; println("sizeof(F64)  = " sizeof(F64))
+; println("let a: U64, sizeof(a) = " sizeof(a))
+; println("let b: U32, sizeof(b) = " sizeof(b))
+; println("let c: U16, sizeof(c) = " sizeof(c))
+; println("let d: U8,  sizeof(d) = " sizeof(d))
+; println("let buf1: [16]U8, sizeof(buf1) = " sizeof(buf1))
+; println("let buf2: [17]U8, sizeof(buf2) = " sizeof(buf2))
+
+; ; {
+; ;     ; TODO: Make sure this doesn't work fool
+; ;     let Int = 1
+; ; }
+
+; ; sizeof(Int)
+; ; {
+; ;     let p = @buf
+; ;     set buf@ = 1
+; ; }
+
+; ; let a:     S8
+; ; let buf = @a
+
+; ; {
+; ;     let buf: [16]S8
+; ;     set buf@ = 2
+; ;     let ptr = buf   ; Copy the buffer into a new variable p
+; ;     set buf@ = 1
+
+; ;     println("buf addr: " buf)
+; ;     println("ptr addr: " ptr)
+; ;     println("buf@: " buf@)   ; 1
+; ;     println("ptr@: " ptr@)   ; 2
+; ;     println("buf@ == 1: " buf@ == 1)
+; ;     println("ptr@ == 2: " ptr@ == 2)
+; ; }
+; ; {
+; ;     let buf: [16]S16
+; ;     set buf@ = 2
+; ;     let ptr = buf   ; Copy the buffer into a new variable p
+; ;     set buf@ = 1
+
+; ;     println("buf addr: " buf)
+; ;     println("ptr addr: " ptr)
+; ;     println("buf@: " buf@)   ; 1
+; ;     println("ptr@: " ptr@)   ; 2
+; ;     println("buf@ == 1: " buf@ == 1)
+; ;     println("ptr@ == 2: " ptr@ == 2)
+
+; ;     set ptr = buf ; Copy the buffer into existing ptr.
+; ;     set buf@ = 32
+; ;     println("buf addr: " buf)
+; ;     println("ptr addr: " ptr)
+; ;     println("buf@: " buf@)   ; 1
+; ;     println("ptr@: " ptr@)   ; 2
+
+; ;     let x: @S16 = @buf + 16 * sizeof(buf)
+; ;     ; set x += 32
+; ;     ; set x@ = 45
+; ;     println("x@:   " x@)
+; ;     println("buf@: " buf@)   ; 1
+; ;     println("ptr@: " ptr@)   ; 2
+; ; }
+
+; ; ; set p += 8
+; ; set p@ = 2
+
+; ; println(buf)
+; ; println(p)
+; ; println(buf@)
+; ; println(p@)
+
+; ; ; set p -= 8
+; ; ; set p@ = 3
+
+; ; println(buf)
+; ; println(p)
+; ; println(buf@)
+; ; println(p@)
+; ; set buf@ += 1
+; ; println(buf@)
+; ; p[0]
+; ; ptr[0]
+; ; buf[0]
+; ; set buf[1] = 2
+; ; set buf[3] = 4
+; ; for let i = 0 , i < 16 , set i += 1 {
+; ;     println(buf[i])
+; ; }
+
+; ; 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 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/conditionals.bad b/tests/conditionals.bad
index aca5c36..85de62a 100644
--- a/tests/conditionals.bad
+++ b/tests/conditionals.bad
@@ -1,8 +1,8 @@
 ; Basic if expressions.
-if true "hello"
+if true "hello" else "world"
 
 ; These can produce values and the result bound to a name.
-let a = if (2 + 2 >= 4) 42
+let a = if (2 + 2 >= 4) 42 else 0
 
 ; We support a single if expression.
 let b = if (0xff == 0x32) "hello" else "world"
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..cf0c762
--- /dev/null
+++ b/tests/pointers.bad
@@ -0,0 +1,65 @@
+{
+    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)
+}
+
+{
+    let buf: [16]S8
+    set buf@ = 2
+    let ptr = buf ; Copy the buffer into a new variable p
+    set buf@ = 1
+
+    println("buf addr:   " buf)
+    println("ptr addr:   " ptr)
+    println("buf@:       " buf@)
+    println("ptr@:       " ptr@)
+    println("buf@ == 1:  " buf@ == 1)
+    println("ptr@ == 2:  " ptr@ == 2)
+
+    set ptr = buf ; Copy the buffer into existing ptr.
+    set buf@ = 32
+    println("buf addr:   " buf)
+    println("ptr addr:   " ptr)
+    println("buf@:       " buf@)
+    println("ptr@:       " ptr@)
+    println("buf@ == 31: " buf@ == 32)
+    println("ptr@ == 1:  " ptr@ == 1)
+
+    let x: @S8 = @buf + 16
+    set x@ = 45
+    println("x@:   " x@)
+    println("buf@: " buf@)
+    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)
diff --git a/tests/semantics.bad b/tests/semantics.bad
index acf4316..befbfab 100644
--- a/tests/semantics.bad
+++ b/tests/semantics.bad
@@ -42,6 +42,7 @@ match a {
 cond {
     1 == 1 = "ha"
     2 != 2 = "ho"
+    else   = "let's go"
 }
 
 struct vec {
@@ -160,9 +161,7 @@ let maybe = if (1 == 2) {
     44
 }
 
-let single = if (true) {
-    123
-}
+let single = if (true) 123 else 0
 
 while (!true) {
     println("asjdflasdjf")
@@ -185,5 +184,5 @@ fun nested(): int {
             let c = 32
             5 + c
         }
-    }
+    } else 0
 }
diff --git a/tests/sizeof.bad b/tests/sizeof.bad
new file mode 100644
index 0000000..df66653
--- /dev/null
+++ b/tests/sizeof.bad
@@ -0,0 +1,26 @@
+let a: U64
+let b: U32
+let c: U16
+let d: U8
+let buf1: [16]U8
+let buf2: [17]U8
+
+println("sizeof(Ptr)  = " sizeof(Ptr))
+println("sizeof(Int)  = " sizeof(Int))
+println("sizeof(UInt) = " sizeof(UInt))
+println("sizeof(U64)  = " sizeof(U64))
+println("sizeof(U32)  = " sizeof(U32))
+println("sizeof(U16)  = " sizeof(U16))
+println("sizeof(U8)   = " sizeof(U8))
+println("sizeof(S64)  = " sizeof(S64))
+println("sizeof(S32)  = " sizeof(S32))
+println("sizeof(S16)  = " sizeof(S16))
+println("sizeof(S8)   = " sizeof(S8))
+println("sizeof(F32)  = " sizeof(F32))
+println("sizeof(F64)  = " sizeof(F64))
+println("let a: U64, sizeof(a) = " sizeof(a))
+println("let b: U32, sizeof(b) = " sizeof(b))
+println("let c: U16, sizeof(c) = " sizeof(c))
+println("let d: U8,  sizeof(d) = " sizeof(d))
+println("let buf1: [16]U8, sizeof(buf1) = " sizeof(buf1))
+println("let buf2: [17]U8, sizeof(buf2) = " sizeof(buf2))