Restrict contents of array and struct #1411
Conversation
wgsl/index.bs
Outdated
|
|
||
| An array element type must not be: | ||
|
|
||
| * The [=void=] type. |
There was a problem hiding this comment.
This is a bit of a laundry list.
I could have defined a new concept such as a "concrete" type.
However, I expect WGSL will soon have to support arrays of textures and arrays of samplers, so the category isn't going to be particularly stable.
| These may only appear in specific contexts.<br> | ||
| </table> | ||
|
|
||
| An array element type must be one of: |
There was a problem hiding this comment.
I assume this set of types is going to show up a lot. I.e. the same should apply to structure members, function arguments, etc. Can we have a common definition for this?
There was a problem hiding this comment.
We have two cases in this PR.
The closest analog in SPIR-V is "concrete" type. (That also covers a physical pointer, which is not in WSGL). I think we should keep an eye on this and if we get a lot more cases then we'll add a definition.
Define array and structure types in a positive sense. (Use an allow-list of subtypes instead of a deny-list.) Fixes gpuweb#1409
|
Rebased to avoid merge conflicts. |
|
The change was approved in the WGSL meeting of 2021-02-16 |
3 participants
Fixes #1409