Перейти к содержимому
Топаз6.0 · До релиза
Загрузка →

Поиск в документации

Спецификация 6.0

Выберите результат стрелками и нажмите Enter, чтобы открыть его.

Введите имя API, номер диагностики, правило или тему проекта.

    Диагностика TPZ0900

    Compilation exceeded a declared memory, wall-clock, or source-read budget and stopped with exit status 1.

    Diagnostic and cause

    Ссылка

    Compiler resource budget exceeded

    Семейство
    topaz
    Этап
    compiler
    Код
    TPZ0900

    Причина и условия

    A compiler worker exceeding the configured memory, time, transport, or source-read budget stops compilation with TPZ0900 and exit status one.

    Действия

    Read the budget and reason in the message. Reduce the compilation workload or supply a sufficient compiler memory/time budget; the repair checks the same valid source with an explicit 8192-MiB memory budget and 1800000-ms time budget.

    Compiler phase: compiler.

    Compiler explanation: Compilation exceeded a declared memory, wall-clock, or source-read budget and stopped with exit status 1.

    Message templates are Pending. The explanation above is not an observed CLI message.

    The isolated SELF compiler exhausts an enabled compilation resource budget. This is a tool resource failure, not a type error in the source program. The bounded reproduction uses a one-MiB compiler memory budget for a valid one-line program.

    Правилоdiagnostics.tpz0900.rule

    Trigger and repair

    A compiler worker exceeding the configured memory, time, transport, or source-read budget stops compilation with TPZ0900 and exit status one.

    Response

    Ссылка

    Read the budget and reason in the message. Reduce the compilation workload or supply a sufficient compiler memory/time budget; the repair checks the same valid source with an explicit 8192-MiB memory budget and 1800000-ms time budget.

    Reproduction and verification

    Ссылка

    Product diagnostic test

    Ссылка
    example.tpzProduct diagnostic testОткрыть песочницу →
    1. let value = 1
    Целевой продукт 5.21.3
    Ожидаемый результат

    Ожидаемый результат

    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 check example.tpz --language-version 5.21 --compiler-memory-mib 1 --compiler-time-ms 1800000.

    Expect exit status 1, empty standard output, and TPZ0900.

    The isolated SELF compiler exhausts an enabled compilation resource budget. This is a tool resource failure, not a type error in the source program. The bounded reproduction uses a one-MiB compiler memory budget for a valid one-line program.

    No user source location is expected for this diagnostic.

    Expect exactly one diagnostic.

    The diagnostic product test checks these expectations with the same files and command.

    Corrected program

    Ссылка
    example.tpzCorrected programОткрыть песочницу →
    1. let value = 1
    Ожидаемый выводКод завершения 0
    $ topaz check example.tpz --compiler-memory-mib 8192 --compiler-time-ms 1800000 · Целевой продукт 5.21.3
    Ожидаемый результат

    Ожидаемый результат

    Проверка принимает программу. Код завершения 0.

    This program applies the repair described above. The verification status records whether it has been run.

    Меню

    Загрузка →