Diagnostic and cause
링크Reserved binding name
- 계열
- topaz
- 단계
- parse
- 코드
TPZ2012
원인과 조건
A record declaration cannot use set or map as its name.
대응
Give the record a different name, such as Item. Keep set and map for collection literals. Use None() to construct an empty Option.
Compiler phase: parse.
Compiler explanation: A binding position uses a name reserved for a constructor or language form.
Message templates. The marker ⟨value⟩ stands for text computed for the reported program.
Noneis the Option constructor (§22.1) and cannot be a binding name Source⟨value⟩is reserved for the⟨value⟩ { … }collection literal (§6) and cannot be a record name Source
Observed for the candidate in Topaz 5.21.3. Execution
- error[TPZ2012]:
setis reserved for theset { … }collection literal (§6) and cannot be a record name
The record is named set. Record names set and map are reserved for collection literals. This code also covers reserved None binding positions.
Response
링크Give the record a different name, such as Item. Keep set and map for collection literals. Use None() to construct an empty Option.
Reproduction and verification
링크Rejected program
링크record set {value: int}
표준 출력 없음.기대 결과
The expected diagnostic, cause, source location, and accompanying diagnostics are specified below. The verification status records whether this program has been run.
Corrected program
링크record Item {value: int}
기대 결과
기대 결과
검사가 프로그램을 받아들입니다. 종료 코드 0.
This program applies the repair described above. The verification status records whether it has been run.