From d655302465457c5d3285ae5339201a0769cc38dc Mon Sep 17 00:00:00 2001 From: Yong He Date: Thu, 5 Sep 2024 11:24:19 -0700 Subject: Support `where` clause and type equality constraint. (#4986) * Support `where` clause. * Fix. * Fix parser. * Enhance test to cover traditional __generic syntax. * Update user-guide. * Support `where` clause on associatedtype. * Fix. * Put in more comments. --- tests/bugs/eroneous-generic-parse.slang | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'tests/bugs/eroneous-generic-parse.slang') diff --git a/tests/bugs/eroneous-generic-parse.slang b/tests/bugs/eroneous-generic-parse.slang index 80a693456..18bcb3b1e 100644 --- a/tests/bugs/eroneous-generic-parse.slang +++ b/tests/bugs/eroneous-generic-parse.slang @@ -1,8 +1,9 @@ -//DIAGNOSTIC_TEST:SIMPLE: -target hlsl -entry computeMain -stage compute +//DIAGNOSTIC_TEST:SIMPLE(filecheck=CHECK): -target hlsl -entry computeMain -stage compute //TEST_INPUT:ubuffer(data=[0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0], stride=16):out RWStructuredBuffer outputBuffer; +// CHECK: error 20001 // Previously this definition would lead to an infinite loop in parsing. int doThing<1>() { return 2; } -- cgit v1.2.3