✓
Passing Passing: the compiler rejects this program as expected.
Code
// PINS: the retired projection block is REFUSED, and the diagnostic teaches the
// binding that replaced it. Rule 7 of the ruleset 690_086 heads — `entity` stops
// existing — held as a wall rather than as prose, because the old form is not
// merely worse: `{ entity.v }` bound `v` into the body's scope, so a program
// left un-migrated would keep compiling and silently mean something else.
import std/io
import std/store
std/store:new(items, capacity: 4) { v: i64 }
std/store:insert(items) { v: 10 }
std/store:query(items)
! query { entity.v } |> std/io:print.ln("v {{ v:d }}")
Actual compiler output
error[KORU161]: std/store:query(items): 'entity.v' is an unannotated entry — the query arm binds its row (`! query <row> |> ... <row>.<field> ...`); a request block names what the VISIT synthesizes (`[row]`, `[ordinal]`), never columns
--> tests/regression/600_STDLIB/690_STORE/690_089_sweep_projection_block_retired/input.k:12:0Compiler must reject:
Compilation must fail with a diagnostic.
Flows
flow ~new click a branch to expand · @labels scroll to their anchor
new (items, capacity: 4, source: v: i64)
flow ~insert click a branch to expand · @labels scroll to their anchor
insert (items, source: v: 10)
flow ~query click a branch to expand · @labels scroll to their anchor
query (items)
Test Configuration
MUST_ERROR