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

    TPZ5801: Form is disallowed by the selected profile

    The program is valid canonical Topaz, but the selected usage profile narrows this form out of its admitted surface.

    Diagnostic and cause

    Link

    Form is disallowed by the selected profile

    Family
    topaz
    Phase
    profile
    Code
    TPZ5801

    Cause and conditions

    The agent-pack profile rejects the canonical std.test.assert import with TPZ5801. The test-profile profile admits that import and call in language mode 5.21.

    Related rule: Canonical assertion depends on the selected profile

    Response

    Use test-profile when the task requires its canonical assertion operation, or remove the test-framework use from an agent-pack program.

    Source evidence

    Compiler phase: profile.

    Compiler explanation: The program is valid canonical Topaz, but the selected usage profile narrows this form out of its admitted surface.

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

    The agent-pack profile rejects the canonical std.test.assert import with TPZ5801. The test-profile profile admits that import and call in language mode 5.21.

    Rulediagnostics.tpz5801.p5.rule

    Canonical assertion depends on the selected profile

    The agent-pack profile rejects the canonical std.test.assert import with TPZ5801. The test-profile profile admits that import and call in language mode 5.21.

    Examples Rejected programRepaired program

    Diagnostics TPZ5801

    Source evidence

    Response

    Link

    Use test-profile when the task requires its canonical assertion operation, or remove the test-framework use from an agent-pack program.

    Reproduction and verification

    Link

    Rejected program

    Link

    reject · profile · Verification: not-run

    example.tpzRejected programOpen in Playground
    1. import std.test { assert }
    2. assert(true)
    Expected outputNonzero exit
    No stdout.
    $ topaz check example.tpz --profile agent-pack · target product 5.21.3
    Expected result

    Expected result

    Rejection during profile. Nonzero exit.

    • TPZ5801 diagnostic-tpz5801 at example.tpz:1:8

    No stdout.

    This exact example has not been executed.

    The required finding points at the std.test import; the call may add another profile finding. Both programs explicitly import assert. Their fixture and invocation identities differ from the old bare-assert candidate, so its receipt is not reused. Successful check stdout is not asserted.

    Source evidence

    Repaired program

    Link

    check · profile · Verification: not-run

    example.tpzRepaired programOpen in Playground
    1. import std.test { assert }
    2. assert(true)
    Expected outputexit 0
    $ topaz check example.tpz --profile test-profile · 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.

    The required finding points at the std.test import; the call may add another profile finding. Both programs explicitly import assert. Their fixture and invocation identities differ from the old bare-assert candidate, so its receipt is not reused. Successful check stdout is not asserted.

    Source evidence

    Menu

    Download