Diagnostic and cause
СсылкаRejected module-adjacent form
- Семейство
- topaz
- Этап
- parse
- Код
TPZ2009
Причина и условия
Choose a namespace alias or a selected import list in one import declaration.
Связанное правило · Trigger and repair →Действия
Keep the namespace alias and remove the selection list, or select names without a namespace alias. Put export on each public declaration.
Compiler phase: parse.
Compiler explanation: The source uses a module export/import composition that Topaz does not support.
Message templates. The marker ⟨value⟩ stands for text computed for the reported program.
- a namespace alias and a selection list do not compose (
import m as ns { x }is invalid syntax) Source - export lists are invalid syntax; put
exporton each public declaration Source - re-export syntax does not exist (
export import .is rejected) Source. .
Observed for the candidate in Topaz 5.21.3. Execution
- error[TPZ2009]: a namespace alias and a selection list do not compose (
import m as ns { x }is invalid syntax)
The import combines a namespace alias with a selection list. These are separate import forms. Export lists and re-export declarations also use this diagnostic.
Trigger and repair
Choose a namespace alias or a selected import list in one import declaration.
Response
СсылкаKeep the namespace alias and remove the selection list, or select names without a namespace alias. Put export on each public declaration.
Reproduction and verification
СсылкаRejected program
Ссылкаimport lib as ns { value }
Нет стандартного вывода.export let value = 1
Ожидаемый результат
Ожидаемый результат
Этап отклонения parse. Ненулевой код завершения.
diagnostic-tpz2009 at
example.tpz:1:18
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 as ns
export let value = 1
Ожидаемый результат
Ожидаемый результат
Проверка принимает программу. Код завершения 0.
This program applies the repair described above. The verification status records whether it has been run.