Skip to content
Topaz6.0 · Before release
Download

Search documentation

Specification 6.0 · Not released · Tested product 5.21.3

Use arrow keys to choose a result. Press Enter to open.

Type an API name, diagnostic number, rule, or project topic.

    Diagnostics

    TPZ0900: Compiler resource budget exceeded

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

    Diagnostic and cause

    Link

    Compiler resource budget exceeded

    Family
    topaz
    Phase
    compiler
    Code
    TPZ0900

    Cause and conditions

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

    Related rule: Trigger and repair

    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.

    Source evidence

    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.

    Rulediagnostics.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.

    Examples Product diagnostic testCorrected program

    Diagnostics TPZ0900

    Source evidence

    Response

    Link

    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

    Link

    Product diagnostic test

    Link

    Syntax fragment

    example.tpzProduct diagnostic testOpen in Playground
    1. let value = 1
    target product 5.21.3
    Expected result

    Expected result

    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.

    Source evidence

    Corrected program

    Link

    check · checking · Verification: not-run

    example.tpzCorrected programOpen in Playground
    1. let value = 1
    Expected outputexit 0
    $ topaz check example.tpz --compiler-memory-mib 8192 --compiler-time-ms 1800000 · target product 5.21.3
    Expected result

    Expected result

    Checking accepts the program. Exit code 0.

    No stderr.

    This exact example has not been executed.

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

    Source evidence

    Menu

    Download