walking-skeleton
Goal
A minimal block:r { break:r 42 } program parses, type-checks (int), and runs identically in both backends to 42.
Implementation Sketch
End-to-end thread parse -> typeck -> eval + LLVM, proving value-carrying block exit before depth work.
Spec References
labeled-block-early-exit-proposal.md Summary/Design; grammar.ebnf:408.
Work Items
- Walking skeleton:
@f () -> int = block:r { break:r 42 }parses, type-checks toint, and runs identically under interpreter + LLVM to produce 42 (dual-execution parity per CLAUDE.md Fix Completeness).