본문으로 건너뛰기
토파즈6.0 · 출시 전
다운로드 →

문서 검색

명세 6.0

방향키로 결과를 고르고 Enter를 눌러 여세요.

API 이름, 진단 번호, 규칙 또는 프로젝트 주제를 입력하세요.

    진단 TPZ2007

    An exported let pattern must bind at least one name.

    Diagnostic and cause

    링크

    Invalid exported let pattern

    계열
    topaz
    단계
    parse
    코드
    TPZ2007

    원인과 조건

    An exported let uses the ordinary immutable let pattern rules and publishes every bound name. A pattern with no bound name is rejected with TPZ2007 during parsing.

    대응

    Remove export when no name is published, or bind the names that callers need with an ordinary immutable let pattern.

    The 6.0 contract rejects exported patterns without a bound name. The following message and observation describe the historical 5.21.3 single-identifier restriction. They do not prohibit destructuring in Topaz 6.0.

    Compiler phase: parse.

    Compiler explanation: An exported let declaration uses a pattern other than one identifier.

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

    • an exported let binds exactly one identifier; destructure privately, then export the identifier Source

    An exported let pattern binds no name. Use export for one or more ordinary immutable pattern bindings.

    규칙diagnostics.tpz2007.rule

    Trigger and repair

    An exported let uses the ordinary immutable let pattern rules and publishes every bound name. A pattern with no bound name is rejected with TPZ2007 during parsing.

    Response

    링크

    Remove export when no name is published, or bind the names that callers need with an ordinary immutable let pattern.

    Reproduction and verification

    링크

    Rejected program

    링크
    example.tpzRejected program플레이그라운드 열기 →
    1. export let _ = 1
    기대 출력0이 아닌 종료 코드
    표준 출력 없음.
    $ topaz check example.tpz --format json · 대상 제품 5.21.3
    기대 결과

    기대 결과

    거절 단계 parse. 종료 코드가 0이 아닙니다.

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

    Corrected program

    링크
    example.tpzCorrected program플레이그라운드 열기 →
    1. let _ = 1
    기대 출력종료 코드 0
    $ topaz check example.tpz --format json · 대상 제품 5.21.3
    기대 결과

    기대 결과

    검사가 프로그램을 받아들입니다. 종료 코드 0.

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

    메뉴

    다운로드 →