✓
Passing This code compiles and runs correctly.
Code
// Transitive gate: the entry module is NOT itself prototype, but it imports a
// module that IS (`app/lib/proto` carries `[prototype]`). A `--release` build
// must still reject it — the gate refuses a prototype module ANYWHERE in the
// import graph, not just the entry file. Drop --release and this runs (a dev
// build allows prototype dependencies).
import std/io
import app/lib/proto
app/lib/proto:greet(name: "world"): msg |> std/io:print.ln(msg)
Must fail at runtime:
Program must error when executed.
Flows
flow ~greet click a branch to expand · @labels scroll to their anchor
greet (name: "world")
Test Configuration
Compiler Flags:
--releaseExpected Error:
KORU029