규칙 4.6

4장, 타입 테스트

number and boolean must not be written as shader types; a number on the GPU has a width, and the boolean is spelled bool.

규칙 본문과 그 아래 항목은 설계 문서에 적힌 컴파일러 원문이라 한국어 페이지에서도 영어로 둡니다.

근거

an f32, an i32, and a u32 are three types with three layouts, and number names none of them.

출처

Integer Types, Floating Point Types, Boolean Type.

검증 방식

테스트로 확인합니다. 테스트나 게이트 스크립트, CI 워크플로가 이 규칙을 가리키고, 아래 파일 가운데 하나라도 규칙을 더는 가리키지 않으면 추적 검사가 실패합니다.

컴파일러가 이 규칙을 적용하는 곳을 규칙이 직접 적은 내용입니다.

TS8002 UNKNOWN_TYPE (A number on the GPU has a width. Write f32 for a float, i32 or u32 for an integer.; TypeShade spells the boolean "bool".), beside the last row of the surface §28 table.

커밋 c66579bf에서 이 규칙을 확인하는 파일입니다. 파일마다 규칙을 처음 가리키는 줄로 연결했습니다.

src/compiler/ts/honest-refusals.test.ts:19

설명하는 절

커밋 c66579bf의 표면 문서에서 이 규칙을 설명하는 절입니다.

§28 What TypeScript writes that the GPU has no word for

적용하는 오류 코드

규칙이 Enforced by 항목에서 가리키는 진단 코드와, 레지스트리 설명에서 이 규칙을 가리키는 진단 코드입니다.

TS8002 UNKNOWN_TYPE: A type name nothing declares, said once for the file wherever it is written (a parameter, a claim, a type argument, B<vec3<Foo>> included, an alias, an implements clause, the base a class or an interface extends, a body no call lowers), a type the library declares for TypeScript alone (Number) where the file declares none of its name, or a type this surface does not take in a position the mapper reads (Rule 2.1).

함께 보기

소스

커밋 c66579bf의 규칙 원문:

docs/language-design.md:307 (설계 문서)
reqs/rules/RULE-0406.md (추적 항목)

이 페이지 편집 문제 보고