Diagnostic and cause
СсылкаRange step is zero
- Семейство
- topaz
- Этап
- run
- Код
TPZ4003
Причина и условия
Constructing a range with a computed int step of zero faults before the range can be iterated.
Связанное правило · Trigger and repair →Действия
Pass a nonzero step. Use a negative step only with descending endpoints; the repair changes the step to one for 0..5.
Compiler phase: runtime.
Compiler explanation: A range value used zero as its step.
Message templates are Pending. The explanation above is not an observed CLI message.
The evaluated range step is zero. Range construction requires a nonzero int step so traversal can make progress.
Trigger and repair
Constructing a range with a computed int step of zero faults before the range can be iterated.
Response
СсылкаPass a nonzero step. Use a negative step only with descending endpoints; the repair changes the step to one for 0..5.
Reproduction and verification
СсылкаProduct diagnostic test
Ссылкаfunction collect(step: int) -> () {for value in (0..5 by step) { value }()}collect(0)
Ожидаемый результат
Ожидаемый результат
The separate diagnostic product test validates this command, runtime diagnostic, or filesystem setup. The shared example runner does not execute that assertion plan.
Run topaz run example..
Expect exit status 1, empty standard output, and TPZ4003.
The evaluated range step is zero. Range construction requires a nonzero int step so traversal can make progress.
The primary location is example..
Expect exactly one diagnostic.
The diagnostic product test checks these expectations with the same files and command.
Corrected program
Ссылкаfunction collect(step: int) -> () {for value in (0..5 by step) { value }()}collect(1)
Нет стандартного вывода.Ожидаемый результат
Ожидаемый результат
Выполнение завершается. Код завершения 0.
This program applies the repair described above. The verification status records whether it has been run.