✓
Passing This code compiles and runs correctly.
Code
// PIN (part): diagnostics for errors inside a part file must point INTO the
// part file, not the primary or the merge site. The parse error below lives
// in input.a.k; the refusal must carry input.a.k's location. This is the
// structural contract of the join: parts parse with their OWN path and the
// merge concatenates already-located items — a text-level include (C
// preprocessor style) would flatten every location onto the primary file.
part a
Supporting Files
// The part file — deliberately malformed: an unclosed tor shape. The parse
// error must be reported at THIS file's location.
pub tor hello { x: u32
Must fail at frontend compile:
Parsing or type-checking must reject the program.
Expected patterns
Each line is a regex that must match the program output.
input\.a\.k:[0-9]+:[0-9]+