tests
Goal
Comprehensive labeled_blocks.ori tests with parity, negative continue:block pin, and loop-transparency coverage.
Implementation Sketch
Author tests/spec/expressions/labeled_blocks.ori from the proposal examples; verify interpreter==LLVM; add #compile_fail pins.
Spec References
labeled-block-early-exit-proposal.md (all examples); tests.md Matrix + Interaction + Negative Testing.
Work Items
-
tests/spec/expressions/labeled_blocks.ori: basicblock:done { break:done v }, break-with-value type unification, nested blocks (independent exit), block-inside-loop with bare-break-targets-loop,break:outer/continue:outertransparency through a block, lexer-classifier + validator examples. - Negative pins:
#compile_failforcontinue:block_label(blocks do not iterate);blockused as bare identifier compiles fine (positive). Dual-execution parity for every positive test (interpreter == LLVM).