TypeShade
Rule 13.7
Chapter 13, Change control Test
The extension table must shrink when WGSL grows a builtin or a type a row was standing in for, or when a spelling is withdrawn; the row must be deleted, the surface document must say so, and the CHANGELOG must record it.
The rule text and the parts under it are the compiler's own English, as the design document writes them.
Rationale
a row WGSL now covers is stale, and the test says so.
Derives from
surface-names.test.ts (no row keeps a name WGSL or ECMAScript now covers).
How it is verified
Checked by a test. A test, a gate script or a CI workflow names this rule, and the traceability check fails when a file listed below stops naming it.
Where the rule says the compiler enforces it:
that test.
The files that verify it at commit 26de7be8, each at the first line that names the rule:
See also
- Rule 13.6 Test
- Rule 13.8 Test
- Design rules
- Error codes
Source
The rule at commit 26de7be8:
docs/language-design.md:1330(the design document)reqs/rules/RULE-1307.md(its traceability item)