Skip to main content

Module conformance

Module conformance 

Source
Expand description

Conformance judging — a port of the reference implementation’s conformance.ts: judges fixtures by their declared phase. valid/* -> parse + checks clean + outputs evaluate clean invalid @expect-phase: parsing -> must fail to parse invalid @expect-phase: checking -> parses; static checks report @expect-error invalid @expect-phase: binding -> parses; the pipeline reports @expect-error

Structs§

Verdict

Functions§

judge_corpus
judge_fixture
walk_decl