From c16f77289248633fb3229877e33e5e68dd27a826 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Gustav=20S=C3=B6rn=C3=A4s?= <gustav@sornas.net>
Date: Fri, 29 Jan 2021 20:12:43 +0100
Subject: blobs as parameters. also typecheck

---
 tests/simple.tdy | 26 ++++++++++++++++----------
 1 file changed, 16 insertions(+), 10 deletions(-)

(limited to 'tests/simple.tdy')

diff --git a/tests/simple.tdy b/tests/simple.tdy
index 28bd5e2..de6841b 100644
--- a/tests/simple.tdy
+++ b/tests/simple.tdy
@@ -1,12 +1,18 @@
-fac : fn int -> int = fn a: int -> int {
-    if a <= 1 {
-        ret 1
-    }
-    b := fac(a - 1)
-    ret a * b
+blob A {
+    a: int
+    b: int
+    c: float
 }
-print fac(5)
 
-// print b(fn a: int -> {
-//     print a
-// })
+hello : fn A -> = fn a: A {
+    print a.a
+    print a.b
+    print a.c
+}
+
+a := A()
+a.a = 1
+a.b = 2
+a.c = 3.
+
+hello(a)
-- 
cgit v1.2.1