Merge pull request #372 from csyonghe/master

Allow type expression as type argument, fix global param enum order

1 files changed, 32 insertions, 0 deletions

diff --git a/tests/compute/globalTypeParamArrayShared.slang b/tests/compute/globalTypeParamArrayShared.slang
new file mode 100644
index 000000000..ee3caa372
--- /dev/null
+++ b/tests/compute/globalTypeParamArrayShared.slang
@@ -0,0 +1,32 @@
+//TEST_IGNORE_FILE:
+interface IBase
+{
+    float compute<T>(T g);
+}
+struct Base:IBase
+{
+    float b;
+    float compute<T>(T g) { return b; }
+};
+
+struct Pair<T1:IBase, T2:IBase> : IBase
+{
+    T1 head;
+    T2 tail;
+    float compute<T>(T g)
+    {
+        return head.compute(g) + tail.compute(g);
+    }
+};
+
+struct Arr<T:IBase, let N:int> : IBase
+{
+    T base[N];  // = 1.0
+    float compute<T>(T g)
+    {
+        float sum = 0.0;
+        for (int i = 0; i < N; i++)
+            sum += base[i].compute(g);
+        return sum;
+    }
+};