Diagnostic and cause
СсылкаInvalid exported let pattern
- Семейство
- topaz
- Этап
- parse
- Код
TPZ2007
Причина и условия
An exported let uses the ordinary immutable let pattern rules and publishes every bound name. A pattern with no bound name is rejected with TPZ2007 during parsing.
Связанное правило · Trigger and repair →Действия
Remove export when no name is published, or bind the names that callers need with an ordinary immutable let pattern.
The 6.0 contract rejects exported patterns without a bound name. The following message and observation describe the historical 5.21.3 single-identifier restriction. They do not prohibit destructuring in Topaz 6.0.
Compiler phase: parse.
Compiler explanation: An exported let declaration uses a pattern other than one identifier.
Message templates. The marker ⟨value⟩ stands for text computed for the reported program.
- an exported
letbinds exactly one identifier; destructure privately, then export the identifier Source
An exported let pattern binds no name. Use export for one or more ordinary immutable pattern bindings.
Trigger and repair
An exported let uses the ordinary immutable let pattern rules and publishes every bound name. A pattern with no bound name is rejected with TPZ2007 during parsing.
Response
СсылкаRemove export when no name is published, or bind the names that callers need with an ordinary immutable let pattern.
Reproduction and verification
СсылкаRejected program
Ссылкаexport let _ = 1
Нет стандартного вывода.Ожидаемый результат
Ожидаемый результат
Этап отклонения parse. Ненулевой код завершения.
export-let-no-binding at
example.tpz:1:12
The expected diagnostic, cause, source location, and accompanying diagnostics are specified below. The verification status records whether this program has been run.
Corrected program
Ссылкаlet _ = 1
Ожидаемый результат
Ожидаемый результат
Проверка принимает программу. Код завершения 0.
This program applies the repair described above. The verification status records whether it has been run.