진단 TPZ5032

Diagnostic and cause

Invalid extern replay or sandbox binding

계열: topaz
단계: check
코드: TPZ5032

원인과 조건

An imported extern module needs a valid deterministic replay binding. Malformed replay data is rejected at the module import.

대응

Provide the replay fixture required by the declared extern module. Correct malformed fixture data and add the missing operation entry.

Compiler phase: check/package.

Compiler explanation: An extern module is missing a deterministic replay fixture, has invalid replay data, or calls an entry not present in replay.

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

extern module ⟨value⟩ has an invalid deterministic replay binding: ⟨value⟩ Source

An imported extern module needs a valid deterministic replay binding. Malformed replay data is rejected at the module import.

규칙diagnostics.tpz5032.p5.rule

Invalid extern replay or sandbox binding

An imported extern module needs a valid deterministic replay binding. Malformed replay data is rejected at the module import.

예제 Rejected program →Repaired program →

진단 TPZ5032 →

Response

링크

Provide the replay fixture required by the declared extern module. Correct malformed fixture data and add the missing operation entry.

Reproduction and verification

링크

Rejected program

링크

reject · check · 검증 · 미실행

main.tpzRejected program플레이그라운드 열기 →

import host.math { twice }
export function main(args: Array<string>, stdin: string) -> Result<int, string> {
Ok(0)
}

기대 출력0이 아닌 종료 코드

표준 출력 없음.

$ topaz check --language-version 5.21 --compiler self · 대상 제품 5.21.3

topaz.tomlRejected program플레이그라운드 열기 →

[package]
name = "diagnostic_extern"
version = "0.1.0"
language = "5.21"
entry = "main.tpz"
[extern.host.math]
hash = "sha256:aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa"
abi_hash = "sha256:bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb"
[[extern.host.math.functions]]
name = "twice"
params = ["int"]
result = "int"
[extern.host.math.replay]
fixture = "replay/host-math.jsonl"
[extern.host.math.sandbox]
kind = "replay"

replay/host-math.jsonlRejected program플레이그라운드 열기 →

{"module":"host.math","function":"twice","args":"not-array","result":{"$":"int","value":"42"}}

기대 결과

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

TPZ5032 →
diagnostics-invalid-extern-replay at main.tpz:1:8

표준 출력 없음.

이 예제는 아직 실행하지 않았습니다.

This complete package fixture uses invocationArgs without a positional source file.

Repaired program

링크

check · check · 검증 · 미실행

main.tpzRepaired program플레이그라운드 열기 →

import host.math { twice }
export function main(args: Array<string>, stdin: string) -> Result<int, string> {
Ok(0)
}

기대 출력종료 코드 0

$ topaz check --language-version 5.21 --compiler self · 대상 제품 5.21.3

topaz.tomlRepaired program플레이그라운드 열기 →

[package]
name = "diagnostic_extern"
version = "0.1.0"
language = "5.21"
entry = "main.tpz"
[extern.host.math]
hash = "sha256:aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa"
abi_hash = "sha256:bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb"
[[extern.host.math.functions]]
name = "twice"
params = ["int"]
result = "int"
[extern.host.math.replay]
fixture = "replay/host-math.jsonl"
[extern.host.math.sandbox]
kind = "replay"

replay/host-math.jsonlRepaired program플레이그라운드 열기 →

{"module":"host.math","function":"twice","args":[{"$":"int","value":"21"}],"result":{"$":"int","value":"42"}}

기대 결과

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

표준 오류 출력 없음.

이 예제는 아직 실행하지 않았습니다.

This complete package fixture uses invocationArgs without a positional source file.

문서 검색

진단 TPZ5032

Diagnostic and cause

Invalid extern replay or sandbox binding

원인과 조건

대응

Invalid extern replay or sandbox binding

Response

Reproduction and verification

Rejected program

기대 결과

Repaired program

기대 결과

메뉴