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

문서 검색

명세 6.0

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

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

    진단 TPZ2010

    An import appears after a top-level item that ends the import prologue.

    Diagnostic and cause

    링크

    Import after non-import item

    계열
    topaz
    단계
    parse
    코드
    TPZ2010

    원인과 조건

    Every top-level import precedes every non-import top-level item.

    대응

    Move all imports before the module's declarations and free statements.

    Compiler phase: parse.

    Compiler explanation: An import appears after a top-level item that ends the import prologue.

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

    • imports form a prologue: every import precedes all other top-level items Source

    Observed for the candidate in Topaz 5.21.3. Execution

    • error[TPZ2010]: imports form a prologue: every import precedes all other top-level items

    An import follows a non-import top-level item. That item ended the import prologue.

    규칙diagnostics.tpz2010.rule

    Trigger and repair

    Every top-level import precedes every non-import top-level item.

    Response

    링크

    Move all imports before the module's declarations and free statements.

    Reproduction and verification

    링크

    Rejected program

    링크
    example.tpzRejected program플레이그라운드 열기 →
    1. let value = 1
    2. import lib
    기대 출력0이 아닌 종료 코드
    표준 출력 없음.
    $ topaz check example.tpz · 대상 제품 5.21.3
    lib.tpzRejected program플레이그라운드 열기 →
    1. export let exported = 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
    2. let value = 1
    기대 출력종료 코드 0
    $ topaz check example.tpz · 대상 제품 5.21.3
    lib.tpzCorrected program플레이그라운드 열기 →
    1. export let exported = 1
    기대 결과

    기대 결과

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

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

    메뉴

    다운로드 →