Start of typesystem

There's a type system, that kinda works

There needs to be better parsing of types, since not all types are
currently parsable. Some of them are, and the simple stuff works!

:D

1 files changed, 14 insertions, 2 deletions

diff --git a/tests/fun.tdy b/tests/fun.tdy
index 8b94cad..8dc3b77 100644
--- a/tests/fun.tdy
+++ b/tests/fun.tdy
@@ -2,13 +2,13 @@
 f := fn {
     print 1
 }
-f() <=> true
+f()
 
 // Simple
 f2 := fn a: int {
     print a
 }
-f2(2) <=> true
+f2(2)
 
 // Return value
 f3 := fn -> int {
@@ -39,3 +39,15 @@ g := fn f: int {
 }
 
 g(h) <=> 1
+
+
+q := fn i: int -> int {
+    if i == 1 {
+        ret 2
+    } else {
+        ret 3
+    }
+}
+
+q(1) <=> 2
+q(0) <=> 3