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

    TPZ0001: Unknown character

    The lexer found a source character that is not part of the Topaz token set.

    Diagnostic and cause

    Link

    Unknown character

    Family
    topaz
    Phase
    lex
    Code
    TPZ0001

    Cause and conditions

    A character that cannot start a Topaz token produces TPZ0001 at that character.

    Related rule: Trigger and repair

    Response

    Replace the character with the intended Topaz spelling. A loop label needs a name after its opening apostrophe.

    Source evidence

    Compiler phase: lex.

    Compiler explanation: The lexer found a source character that is not part of the Topaz token set.

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

    • a ' begins a loop label 'name; a bare ' is not valid Source
    • unknown character ⟨value⟩ Source

    Observed for the candidate in Topaz 5.21.3. Execution

    • error[TPZ0001]: unknown character @

    The lexer found a character that cannot start a token. For example, @ is rejected at its source position. A bare apostrophe is also rejected because a loop label needs an identifier after it.

    Rulediagnostics.tpz0001.rule

    Trigger and repair

    A character that cannot start a Topaz token produces TPZ0001 at that character.

    Examples Rejected programCorrected program

    Diagnostics TPZ0001

    Source evidence

    Response

    Link

    Replace the character with the intended Topaz spelling. A loop label needs a name after its opening apostrophe.

    Reproduction and verification

    Link

    Rejected program

    Link

    reject · lex · Verification: not-run

    example.tpzRejected programOpen in Playground
    1. let value = @
    Expected outputNonzero exit
    No stdout.
    $ topaz check example.tpz · target product 5.21.3
    Expected result

    Expected result

    Rejection during lex. Nonzero exit.

    • TPZ0001 diagnostic-tpz0001 at example.tpz:1:13

    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 value = 1
    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