improve struct handling

4 files changed, 34 insertions, 21 deletions

diff --git a/tests/if2.ek b/tests/if2.ek
index 7589571..c990ca5 100644
--- a/tests/if2.ek
+++ b/tests/if2.ek
@@ -1,5 +1,6 @@
 typedef i9 {}
 typedef i27 {}
+typedef bool {}
 
 putchar(i9 c)
 {
diff --git a/tests/refderef.ek b/tests/refderef.ek
new file mode 100644
index 0000000..1420d2c
--- /dev/null
+++ b/tests/refderef.ek
@@ -0,0 +1,11 @@
+typedef i9 {}
+typedef i27 {}
+
+main()
+{
+	*i9 p = 0 as *i9;
+	*i9 a = p*&;
+	a = p*&*&;
+	a = p&*;
+	i9 b = p&**&*;
+}
diff --git a/tests/structs.ek b/tests/structs.ek
index 1444d24..22cce71 100644
--- a/tests/structs.ek
+++ b/tests/structs.ek
@@ -1,28 +1,18 @@
-typedef any {}
+typedef i27 {}
+typedef i9 {}
 
-struct basic_struct {
-	i64 a;
-	i64 b;
-	i64 c;
-}
+typedef int_pair {
+	i27 a;
+	i27 b;
 
-struct complex_struct (any A, any B, any C) {
-	A a;
-	B b;
-	C c;
+	sum(*int_pair self => i27)
+	{
+		return self*.a + self*.b;
+	}
 }
 
 main()
 {
-	/* infer types */
-	const simple_named = {.a = 1, .b = 2, .c = 3} as basic_struct;
-	const complex_named = {.a = 1, .b = 2, .c = 3} as complex_struct;
-
-	/* force types */
-	complex_struct![u32, u32, u32] force_named = {.a = 1, .b = 2, .c = 3};
-	mut force_inferred_named = {.a = 1, .b = 2, .c = 3} as
-		complex_struct![u32, u32, u32];
-
-	/* types should be inferred */
-	force_inferred_named = {.a = 2, .b = 3, .c = 4};
+	mut p = int_pair!{.a = 9, .b = 10};
+	i27 s = p.sum();
 }
diff --git a/tests/ufcs.ek b/tests/ufcs.ek
new file mode 100644
index 0000000..85d241b
--- /dev/null
+++ b/tests/ufcs.ek
@@ -0,0 +1,11 @@
+typedef i27 {
+	add(*i27 self, i27 other => i27)
+	{
+		return self* + other;
+	}
+}
+
+main()
+{
+	i27 a = 12.add(24);
+}