Add funcall typechecking

1 files changed, 34 insertions, 26 deletions

diff --git a/tests/semantics.bad b/tests/semantics.bad
index 3305222..3479915 100644
--- a/tests/semantics.bad
+++ b/tests/semantics.bad
@@ -1,23 +1,31 @@
-; let a:f32 = (1.0 + 2.0 * 2.0) / 2.0
-
-let annotated:int = (1 + 2 * 2) / 2
-let numbers = 1
-let symbols = numbers
-let arith = 1 + 2 * 4
-let cmp = 1 <= 2
-let logic = !true && false || (1 <= 2)
-let bits = 0xff & 0b00001111
-let block = {
-    let a = 1 + 2
-    a + 3
+fun add10(a: int, b: str): int {
+    a + 10
 }
 
-let maybe = if (1 == 2) {
-    32
-} else {
-    44
+fun foo(): int {
+    add10(1, "hello")
 }
 
+; let a:f32 = (1.0 + 2.0 * 2.0) / 2.0
+
+; let annotated:int = (1 + 2 * 2) / 2
+; let numbers = 1
+; let symbols = numbers
+; let arith = 1 + 2 * 4
+; let cmp = 1 <= 2
+; let logic = !true && false || (1 <= 2)
+; let bits = 0xff & 0b00001111
+; let block = {
+;     let a = 1 + 2
+;     a + 3
+; }
+
+; let maybe = if (1 == 2) {
+;     32
+; } else {
+;     44
+; }
+
 ; let single = if (true) {
 ;     123
 ; }
@@ -112,16 +120,16 @@ fun nested(): int {
 ;     let c = 1
 ;     1 + 1 + c
 ; }
-fun foo(a: int b: str): (f64, f64) {
-    fun bar(): nil {
-        println("ding")
-    }
-    if (a == 1) {
-        ; return("test", b)
-        return(3.0, 4.0)
-    }
-    return(1.0, 2.0)
-}
+; fun foo(a: int b: str): (f64, f64) {
+;     fun bar(): nil {
+;         println("ding")
+;     }
+;     if (a == 1) {
+;         ; return("test", b)
+;         return (3.0, 4.0)
+;     }
+;     return (1.0, 2.0)
+; }
 
 ; let b = a
 ; let a = a