Diagnostic and cause
СсылкаRuntime statement in imported module
- Семейство
- topaz
- Этап
- resolve
- Код
TPZ3007
Причина и условия
Historical SELF behavior: an imported module containing a free top-level expression produces TPZ3007, while the same expression may occur in the entry module. The recommended Modules contract removes this file-role restriction. Its accepted entry/import pair and current-product limitation are the normative /v6.0/en/docs expectations for that decision; the reproduction below preserves the historical diagnostic identity.
Связанное правило · Trigger and repair →Действия
For the current SELF product, an explicit exported function called from the entry is a workaround. Under the recommended uniform module contract, no source change is required solely because a file is imported. TPZ3007 remains reserved for the historical restriction and is not reassigned.
Compiler phase: resolve.
Compiler explanation: An imported module has a top-level runtime-bearing free statement.
Message templates. The marker ⟨value⟩ stands for text computed for the reported program.
- imported module
⟨value⟩contains a top-level free statement; free statements are entry-only (the same file is valid as an entry) Source
Observed for the candidate in Topaz 5.21.3. Execution
- error[TPZ3007]: imported module
libcontains a top-level free statement; free statements are entry-only (the same file is valid as an entry)
Historical SELF restriction: the imported module contains a top-level free statement, including an expression with no visible side effect. The recommended uniform module contract accepts the same statement forms in entry and imported files.
Trigger and repair
Historical SELF behavior: an imported module containing a free top-level expression produces TPZ3007, while the same expression may occur in the entry module. The recommended Modules contract removes this file-role restriction. Its accepted entry/import pair and current-product limitation are the normative /v6.0/en/docs expectations for that decision; the reproduction below preserves the historical diagnostic identity.
Response
СсылкаFor the current SELF product, an explicit exported function called from the entry is a workaround. Under the recommended uniform module contract, no source change is required solely because a file is imported. TPZ3007 remains reserved for the historical restriction and is not reassigned.
Reproduction and verification
СсылкаRejected program
Ссылкаimport lib
Нет стандартного вывода.export let value = 11 + 2
Ожидаемый результат
Ожидаемый результат
Этап отклонения resolve. Ненулевой код завершения.
diagnostic-tpz3007 at
lib.tpz:2:1
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 function value() -> int { 1 + 2 }
Ожидаемый результат
Ожидаемый результат
Проверка принимает программу. Код завершения 0.
This program applies the repair described above. The verification status records whether it has been run.