From 2023a7b2d9656f80b00de81453348c0a66f200f7 Mon Sep 17 00:00:00 2001 From: Kimplul Date: Wed, 14 Aug 2024 20:44:26 +0300 Subject: test cleanup + Somewhat poor Git hygiene but I also fixed some bugs while I was at it. --- tests/resolve.ek | 35 ----------------------------------- 1 file changed, 35 deletions(-) delete mode 100644 tests/resolve.ek (limited to 'tests/resolve.ek') diff --git a/tests/resolve.ek b/tests/resolve.ek deleted file mode 100644 index f417fde..0000000 --- a/tests/resolve.ek +++ /dev/null @@ -1,35 +0,0 @@ -typedef A {} - -struct generic (T1 A, T2 A) { - T1 a; - T2 b; -} - -struct other_generic(T1 A) { - T1 a; - T2 b; -} - -/* wow this works pretty good */ -//some_func(a A, b typeof a, c i64){1;} -//some_func(a A, b typeof a, c typeof b){2;} -//some_func(a A, b typeof a, c A){3;} -//some_func(a generic(u32, u32)) {5;} -//some_func(a other_generic){6;} -// TODO: partial templates shouldn't be allowed -//some_func(a generic(u32)){6;} -//some_func(a generic) {4;} -// illegal -// TODO: traits shouldn't be allowed in template instantiation -//some_func(a generic(A, A)){6;} -//some_func(generic(generic, generic)){1;} -//some_func(generic(generic, i64)){2;} -//some_func(generic(i64, generic)){3;} -//some_func(generic(i64, i64)){4;} -some_func(generic){5;} - -main(){ - // TODO: not fully qualified types in bodies should cause an error - [20]generic![i64, generic] a; - some_func(a); -} -- cgit v1.3