규칙 9.7

9장, 내장 함수와 TypeShade 확장 테스트

A name must be added to the table in this order and in no other: the rationale is written into this section (and into Rule 4.4’s family for an f64 type), the row is added to TYPESHADE_EXTENSIONS with the same reason, the surface document gains or extends a §, and CHANGELOG.md gains an entry under [Unreleased].

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

근거

the test message that catches a stray name tells the reader to do exactly this, and the order keeps the reason ahead of the name.

출처

the comment above TYPESHADE_EXTENSIONS in surface-names.test.ts.

검증 방식

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

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

surface-names.test.ts (the extension table of docs/language-design.md is TYPESHADE_EXTENSIONS, row for row), which reads the table above and fails on a row, an order, or a reason that differs from the allowlist; review for the surface § and the CHANGELOG.

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

src/core/spec-conformance/surface-names.test.ts:800

함께 보기

소스

커밋 c66579bf의 규칙 원문:

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

이 페이지 편집 문제 보고