Diagnostic and cause
СсылкаUnresolved module
- Семейство
- topaz
- Этап
- resolve
- Код
TPZ3001
Причина и условия
An import of a user module requires a source file at the exact dotted path under the selected root. A missing file produces TPZ3001.
Связанное правило · Trigger and repair →Действия
Add the module at its dotted path or correct the import spelling. Export the declarations that importers need.
Compiler phase: resolve.
Compiler explanation: An import path could not be resolved under the active module root.
Message templates. The marker ⟨value⟩ stands for text computed for the reported program.
- entry file
⟨value⟩does not exist Source
Observed for the candidate in Topaz 5.21.3. Execution
- error[TPZ3001]: no module file for
missing(expectedmissing.by exact scalars)tpz
The imported user module has no source file at its exact path under the selected root. The example imports missing without providing missing.tpz.
Trigger and repair
An import of a user module requires a source file at the exact dotted path under the selected root. A missing file produces TPZ3001.
Response
СсылкаAdd the module at its dotted path or correct the import spelling. Export the declarations that importers need.
Reproduction and verification
СсылкаRejected program
Ссылкаimport missing
Нет стандартного вывода.Ожидаемый результат
Ожидаемый результат
Этап отклонения resolve. Ненулевой код завершения.
diagnostic-tpz3001 at
example.tpz:1:8
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 missing
export let value = 1
Ожидаемый результат
Ожидаемый результат
Проверка принимает программу. Код завершения 0.
This program applies the repair described above. The verification status records whether it has been run.