Add wip function typechecking

1 files changed, 9 insertions, 9 deletions

diff --git a/tests/semantics.bad b/tests/semantics.bad
index 5b5c971..47c4b88 100644
--- a/tests/semantics.bad
+++ b/tests/semantics.bad
@@ -28,10 +28,10 @@
 
 ; set single = 32
 
-cond {
-    1 == 2 = "hello"
-    else = "dong"
-}
+; cond {
+;     1 == 2 = "hello"
+;     else = "dong"
+; }
 
 ; enum test {
 ;     a = 1
@@ -48,7 +48,7 @@ cond {
 
 ; fun nested(): u32 {
 ;     fun adder(a: u32, b: u32): u32 a + b
-;     if (1 + 1) {
+;     if (1 + 1 == 2) {
 ;         {
 ;             let b = 32
 ;         }
@@ -110,10 +110,10 @@ cond {
 ;     1 + 1 + c
 ; }
 
-; This should err.
-; fun foo(): nil {
-;     1
-; }
+fun foo(a: int b: str): (f32, f64) {
+    return(1.0, 2.0)
+}
+
 ; let b = a
 ; let a = a
 ; set a = 10