Small test

diff --git a/tests/where_clauses b/tests/where_clauses
new file mode 100644 (file)
index 0000000..3425f5c
--- /dev/null
+++ b/tests/where_clauses
@@ -0,0 +1 @@
+[ 2.0000, 4.0000, 6.0000, 8.0000 ]

diff --git a/tests/where_clauses.onyx b/tests/where_clauses.onyx
new file mode 100644 (file)
index 0000000..2d8f56c
--- /dev/null
+++ b/tests/where_clauses.onyx
@@ -0,0 +1,33 @@
+#load "core/module"
+
+use core {*};
+
+main :: () {
+   a := f32.[ 1, 2, 3, 4 ];
+   b := f32.[ 1, 2, 3, 4 ];
+   c := add(a, b);
+   println(c);
+
+   d: Foo(typeof c);
+   d.values = c;
+}
+
+Adder :: interface(t: $T) {
+   { t + t } -> T;
+}
+
+add :: (a, b: [$N]$T) -> [N]T
+   where Adder(T), N > 0, N <= 4
+{
+   return a + b;
+}
+
+CanBeIndexed :: interface(t: $T) {
+   t[0];
+}
+
+Foo :: struct (T: type_expr) where CanBeIndexed(T) {
+   values: T;
+}
+
+