Diagnostic and cause
링크Module path collision
- 계열
- topaz
- 단계
- resolve
- 코드
TPZ3004
원인과 조건
A module path is rejected with TPZ3004 when two same-kind sibling entries match the same normalized or case-folded module name.
관련 규칙 · Trigger and repair →대응
Rename or remove one candidate, then update its imports. Keep module path spellings distinct after normalization and case folding.
Compiler phase: resolve.
Compiler explanation: Two physical module candidates collide under exact, normalized, or folded path identity.
Message templates. The marker ⟨value⟩ stands for text computed for the reported program.
- the path
⟨value⟩collides with another candidate under the module name keys⟨value⟩ Source - the modules
⟨value⟩and⟨value⟩resolve to the same physical file; one physical file cannot have two module identities Source
Observed for the candidate in Topaz 5.21.3. Execution
- error[TPZ3004]: the path
libcollides with another candidate under the module name keys: Lib.tpz / lib.tpz
More than one filesystem entry matches a module segment after Unicode normalization or case folding. Here lib.tpz and Lib.tpz collide on a filesystem that preserves both names.
Trigger and repair
A module path is rejected with TPZ3004 when two same-kind sibling entries match the same normalized or case-folded module name.
Response
링크Rename or remove one candidate, then update its imports. Keep module path spellings distinct after normalization and case folding.
Reproduction and verification
링크Rejected program
링크import lib
표준 출력 없음.export let value = 1
export let other = 2
기대 결과
The expected diagnostic, cause, source location, and accompanying diagnostics are specified below. The verification status records whether this program has been run.
Corrected program
링크import lib
export let value = 1
기대 결과
기대 결과
검사가 프로그램을 받아들입니다. 종료 코드 0.
This program applies the repair described above. The verification status records whether it has been run.