dan sinclair

Update arithmetic expressions with results of over/underflow on abstract types

1

In [6.8 Arithmetic Expressions](https://www.w3.org/TR/WGSL/#arithmetic-expr) we list what happens in the case of over/underflow of concrete integral types: > If T is a [concrete](https://www.w3.org/TR/WGSL/#concrete) integral type, then the result is modulo...

Is an entry point required in WGSL?

1

In the technical overview we state: > A shader is the portion of a WGSL program that executes a shader stage in a pipeline. A shader comprises: > * An...

In [6.4.1 Construction from Components](https://www.w3.org/TR/WGSL/#construction-from-components) we list the precondition and conclusions for the various constructors. We say, for example: `e: T; vecN(e): vecN` I don't see the definition for `T`...

In [5.1.3 Creation-time Constants](https://www.w3.org/TR/WGSL/#creation-time-consts) we have the note: > Note: Since AbstractInt and AbstractFloat cannot be spelled in WGSL source, named values can only use them through type inference. This...

Change `creation-time constant` in Value Declarations to `const`?

1

In [5.1. Value Declarations](https://www.w3.org/TR/WGSL/#value-decls) we refer to the 3 ways to make a value declaration. * a let declaration * an override declaration * a creation-time constant. In the first...

Add example in Memory Views section showing a ref type.

3

In [4.5 Memory View Types](https://www.w3.org/TR/WGSL/#memory-view-types) we talk about `ref` types but in the example provided we only show pointer types. We should add an example to the section which also...

Update comment about reference types not appearing to a note.

2

In [4.5. Memory View Types](https://www.w3.org/TR/WGSL/#memory-view-types) we have a comment at the end of the `ref` table saying: > Reference types are not written in WGSL program source; instead they are...

Clarification for layout rules in section 7.6.2.2 of the OpenGL 4.5 spec.

6

Reading the layout rules, rule 6. * If the member is an array of S column-major matrices with C columns and R rows, the matrix is stored identically to a...

Issue with type converting module scoped variables

6

With the switch to using the type constructor to allow conversions we can do things like `vec3(vec3(1, 2, 3)`. This is fine at function scope as we can use the...

`@interpolate` values on reserved word list

1

The reserved word list contains: * `centroid` * `flat` * `linear` * `sample` These are all used in the `@interpolate` attribute so probably shouldn't be reserved?