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

    TPZ3001: Unresolved module

    An import path could not be resolved under the active module root.

    Diagnostic and cause

    Link

    Unresolved module

    Family
    topaz
    Phase
    resolve
    Code
    TPZ3001

    Cause and conditions

    An import of a user module requires a source file at the exact dotted path under the selected root. A missing file produces TPZ3001.

    Related rule: Trigger and repair

    Response

    Add the module at its dotted path or correct the import spelling. Export the declarations that importers need.

    Source evidence

    Compiler phase: resolve.

    Compiler explanation: An import path could not be resolved under the active module root.

    Message templates. The marker ⟨value⟩ stands for text computed for the reported program.

    • entry file ⟨value⟩ does not exist Source

    Observed for the candidate in Topaz 5.21.3. Execution

    • error[TPZ3001]: no module file for missing (expected missing.tpz by exact scalars)

    The imported user module has no source file at its exact path under the selected root. The example imports missing without providing missing.tpz.

    Rulediagnostics.tpz3001.rule

    Trigger and repair

    An import of a user module requires a source file at the exact dotted path under the selected root. A missing file produces TPZ3001.

    Examples Rejected programCorrected program

    Diagnostics TPZ3001

    Source evidence

    Response

    Link

    Add the module at its dotted path or correct the import spelling. Export the declarations that importers need.

    Reproduction and verification

    Link

    Rejected program

    Link

    reject · resolve · Verification: not-run

    example.tpzRejected programOpen in Playground
    1. import missing
    Expected outputNonzero exit
    No stdout.
    $ topaz check example.tpz · target product 5.21.3
    Expected result

    Expected result

    Rejection during resolve. Nonzero exit.

    • TPZ3001 diagnostic-tpz3001 at example.tpz:1:8

    No stdout.

    This exact example has not been executed.

    The expected diagnostic, cause, source location, and accompanying diagnostics are specified below. The verification status records whether this program has been run.

    Source evidence

    Corrected program

    Link

    check · checking · Verification: not-run

    example.tpzCorrected programOpen in Playground
    1. import missing
    Expected outputexit 0
    $ topaz check example.tpz · target product 5.21.3
    missing.tpzCorrected programOpen in Playground
    1. export let value = 1
    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