Diagnostic and cause
링크Unbound name
- 계열
- topaz
- 단계
- check
- 코드
TPZ5002
원인과 조건
A value name must resolve to a binding visible at its use. An unresolved read is rejected with TPZ5002 at the referenced identifier.
관련 규칙 · A value reference requires a visible binding →대응
Use the declared spelling, bring the exported value into scope, or add a declaration in the appropriate scope.
Compiler phase: check/runtime.
Compiler explanation: The program referenced a value name that is not visible in this scope.
Message templates. The marker ⟨value⟩ stands for text computed for the reported program.
⟨value⟩is not bound Source⟨value⟩is not bound⟨value⟩ Source⟨value⟩.was removed in 5.21; ⟨value⟩ Source⟨value⟩ ⟨value⟩is not bound⟨value⟩ Source⟨value⟩is not bound⟨value⟩ Source⟨value⟩is not exported by the module bound as⟨value⟩(§17)⟨value⟩ Source⟨value⟩is not bound Source
Observed for the candidate in Topaz 5.21.3. Execution
- error[TPZ5002]:
missingis not boundValue
A value name must resolve to a binding visible at its use. An unresolved read is rejected with TPZ5002 at the referenced identifier.
A value reference requires a visible binding
A value name must resolve to a binding visible at its use. An unresolved read is rejected with TPZ5002 at the referenced identifier.
Response
링크Use the declared spelling, bring the exported value into scope, or add a declaration in the appropriate scope.
Reproduction and verification
링크Rejected program
링크let value = missingValue
표준 출력 없음.기대 결과
Repaired program
링크let missingValue = 1let value = missingValue
기대 결과
기대 결과
검사가 프로그램을 받아들입니다. 종료 코드 0.