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

문서 검색

명세 6.0

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

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

    진단 TPZ2011

    An import selection list is empty, duplicate, or contains an invalid name.

    Diagnostic and cause

    링크

    Malformed import list

    계열
    topaz
    단계
    parse
    코드
    TPZ2011

    원인과 조건

    Each exported name and each resulting local binding appears at most once in a nonempty selected import list.

    대응

    Remove repeated selections. Select at least one identifier and give different exported names distinct local aliases.

    Compiler phase: parse.

    Compiler explanation: An import selection list is empty, duplicate, or contains an invalid name.

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

    • an import name is an identifier; keywords cannot be selected Source
    • this exported name is already selected in this list Source
    • this local name is already bound by this list Source
    • a selection list selects at least one exported name Source

    Observed for the candidate in Topaz 5.21.3. Execution

    • error[TPZ2011]: this exported name is already selected in this list

    The selection list repeats an exported name. A selected import list must be nonempty, and both exported names and local aliases must be unique. Keywords cannot be selected as names.

    규칙diagnostics.tpz2011.rule

    Trigger and repair

    Each exported name and each resulting local binding appears at most once in a nonempty selected import list.

    Response

    링크

    Remove repeated selections. Select at least one identifier and give different exported names distinct local aliases.

    Reproduction and verification

    링크

    Rejected program

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

    기대 결과

    거절 단계 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. import lib { value }
    기대 출력종료 코드 0
    $ topaz check example.tpz · 대상 제품 5.21.3
    lib.tpzCorrected program플레이그라운드 열기 →
    1. export let value = 1
    기대 결과

    기대 결과

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

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

    메뉴

    다운로드 →