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

    TPZ2002: Unknown template tag

    A tagged template used a tag that is not in the built-in template registry.

    Diagnostic and cause

    Link

    Unknown template tag

    Family
    topaz
    Phase
    parse
    Code
    TPZ2002

    Cause and conditions

    During parsing, TPZ2002 reports an unrecognized identifier immediately before a string delimiter. The template tag rule defines the permitted prefixes.

    Related rule: Trigger and repair

    Response

    Remove the prefix for an ordinary string, or choose a registered prefix from the template tag rule for the intended template operation.

    Source evidence

    Compiler phase: parse.

    Compiler explanation: A tagged template used a tag that is not in the built-in template registry.

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

    • unknown template tag ⟨value⟩; the registry is p, r, sh, sql Source

    Observed for the candidate in Topaz 5.21.3. Execution

    • error[TPZ2002]: unknown template tag html; the registry is p, r, sh, sql

    During parsing, TPZ2002 reports an unrecognized identifier immediately before a string delimiter. The template tag rule defines the permitted prefixes.

    Rulediagnostics.tpz2002.rule

    Trigger and repair

    During parsing, TPZ2002 reports an unrecognized identifier immediately before a string delimiter. The template tag rule defines the permitted prefixes.

    Examples Rejected programCorrected program

    Diagnostics TPZ2002

    Source evidence

    Response

    Link

    Remove the prefix for an ordinary string, or choose a registered prefix from the template tag rule for the intended template operation.

    Reproduction and verification

    Link

    Rejected program

    Link

    reject · parse · Verification: not-run

    example.tpzRejected programOpen in Playground
    1. let message = html"<p>Hello</p>"
    Expected outputNonzero exit
    No stdout.
    $ topaz check example.tpz · target product 5.21.3
    Expected result

    Expected result

    Rejection during parse. Nonzero exit.

    • TPZ2002 diagnostic-tpz2002 at example.tpz:1:15

    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 program
    1. let message = "<p>Hello</p>"
    Expected outputexit 0
    $ topaz check example.tpz · 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