Diagnostic and cause
СсылкаUnknown character
- Семейство
- topaz
- Этап
- lex
- Код
TPZ0001
Причина и условия
A character that cannot start a Topaz token produces TPZ0001 at that character.
Связанное правило · Trigger and repair →Действия
Replace the character with the intended Topaz spelling. A loop label needs a name after its opening apostrophe.
Compiler phase: lex.
Compiler explanation: The lexer found a source character that is not part of the Topaz token set.
Message templates. The marker ⟨value⟩ stands for text computed for the reported program.
- a
'begins a loop label'name; a bare'is not valid Source - unknown character
⟨value⟩Source
Observed for the candidate in Topaz 5.21.3. Execution
- error[TPZ0001]: unknown character
@
The lexer found a character that cannot start a token. For example, @ is rejected at its source position. A bare apostrophe is also rejected because a loop label needs an identifier after it.
Trigger and repair
A character that cannot start a Topaz token produces TPZ0001 at that character.
Response
СсылкаReplace the character with the intended Topaz spelling. A loop label needs a name after its opening apostrophe.
Reproduction and verification
СсылкаRejected program
Ссылкаlet value = @
Нет стандартного вывода.Ожидаемый результат
Ожидаемый результат
Этап отклонения lex. Ненулевой код завершения.
diagnostic-tpz0001 at
example.tpz:1:13
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 value = 1
Ожидаемый результат
Ожидаемый результат
Проверка принимает программу. Код завершения 0.
This program applies the repair described above. The verification status records whether it has been run.