진단 TPZ5007

Diagnostic and cause

Runtime comparison guard

계열: topaz
단계: run
코드: TPZ5007

원인과 조건

The runtime comparison guard uses TPZ5007. A comparison that exhausts the structural budget fails at the comparison call. Finite nested values can reach this guard. Recursive declarations follow Nested conformance. Data values follow Value semantics.

대응

Reduce the nesting or compare smaller parts of the values before repeating the comparison.

Compiler phase: check/runtime.

Compiler explanation: The operation requires equality/order/key semantics that this type does not provide.

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

⟨value⟩ is not ordered comparable, so .⟨value⟩() cannot sort it Source
the ⟨value⟩ key type ⟨value⟩ is not ordered comparable, so .⟨value⟩() cannot sort it Source
⟨value⟩ is not comparable, so test.⟨value⟩ cannot compare it Source
⟨value⟩ and ⟨value⟩ are not ordered comparable Source
⟨value⟩ and ⟨value⟩ are not comparable values Source
⟨value⟩ and ⟨value⟩ are never equal Source
⟨value⟩ is not a valid Map/Set key (⟨value⟩ keys are not supported yet) Source

Equality and ordering traverse their supported value structures. A comparison of finite values can exhaust the structural budget and raise runtime TPZ5007.

규칙diagnostics.tpz5007.runtime.p5.rule

Reject a comparison that exhausts the structural budget

The runtime comparison guard uses TPZ5007. A comparison that exhausts the structural budget fails at the comparison call. Finite nested values can reach this guard. Recursive declarations follow Nested conformance. Data values follow Value semantics.

예제 Finite nested values exhaust the comparison budget →Shallow trees compare within the budget →

진단 TPZ5007 →

Response

링크

Reduce the nesting or compare smaller parts of the values before repeating the comparison.

Reproduction and verification

링크

Finite nested values exhaust the comparison budget

링크

run · run · 검증 · 미실행

example.tpzFinite nested values exhaust the comparison budget

record Node derives Eq { children: Array<Node> }
let mut left = Node { children: [] }
let mut right = Node { children: [] }
for _ in (0..200) {
left = Node { children: [left] }
right = Node { children: [right] }
}
Eq.equals(left, right)

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

표준 출력 없음.

$ topaz run example.tpz · 대상 제품 5.21.3

기대 결과

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

TPZ5007 →
structures-comparison-recursion at example.tpz:8:1

표준 출력 없음.

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

Both trees are finite. The deep comparison exceeds the structural budget. The repaired comparison stays within it. This pair has not been run with the public CLI.

Shallow trees compare within the budget

링크

run · run · 검증 · 미실행

example.tpzShallow trees compare within the budget

import std.io
record Node derives Eq { children: Array<Node> }
let mut left = Node { children: [] }
let mut right = Node { children: [] }
for _ in (0..2) {
left = Node { children: [left] }
right = Node { children: [right] }
}
io.writeLine("{Eq.equals(left, right)}")

기대 출력종료 코드 0

true

$ topaz run example.tpz · 대상 제품 5.21.3

기대 결과

실행을 마칩니다. 종료 코드 0.

표준 오류 출력 없음.

기대 표준 출력

true

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

Both trees are finite. The deep comparison exceeds the structural budget. The repaired comparison stays within it. This pair has not been run with the public CLI.

문서 검색

진단 TPZ5007

Diagnostic and cause

Runtime comparison guard

원인과 조건

대응

Reject a comparison that exhausts the structural budget

Response

Reproduction and verification

Finite nested values exhaust the comparison budget

기대 결과

Shallow trees compare within the budget

기대 결과

메뉴