✓
Passing This code compiles and runs correctly.
Code
// The production gate: a `[prototype]` module compiled with `--release` is
// rejected outright (KORU029), before any lenient hole-synthesis. This is the
// SAME source as 400_160 (which compiles and RUNS in a dev build) — only the
// `--release` flag (COMPILER_FLAGS) is added, and it flips accept → reject.
//
// This is what stops prototype code from ever shipping: the release build
// refuses the annotation, so the dev workflow of "run incomplete now" always
// ends in "handle every branch and delete [prototype]" before release.
[prototype]
import std/io
pub tor run {}
| done
| err string
run => err "built path ran; done is still a hole"
run()
| err msg |> std/io:print.ln(msg)
// `| done` left unhandled. Compiles+runs WITHOUT --release (400_160); with
// --release the whole module is rejected KORU029.
Must fail at runtime:
Program must error when executed.
Flows
flow ~run click a branch to expand · @labels scroll to their anchor
run
Test Configuration
Compiler Flags:
--releaseExpected Error:
KORU029