✓
Passing Passing: the compiler rejects this program as expected.
Code
// Test: `captured { vists: ... }` — write heads are checked against the proto
// block at transform time. A typo refuses naming the field AND the shape it
// was checked against — the same check the stringly surface can only do at
// runtime (`unknown-field`), except here the compiler holds the manifest.
~import std/io
~import std/cell
~import std/proto
~import std/runtime
~std/proto(room_state) {
visits: u32
}
~std/runtime:register(scope: "cell") {
}
~std/cell:open(room_state, id: "room-7")
| cell c |> std/cell:capture(c, shape: room_state)
! as s |> std/cell:captured { vists: s.visits + 1 }
| captured f |> std/io:print.ln("{{ f.visits:d }}")
|> std/cell:hibernate(c)
Actual compiler output
[REGISTRY] Creating dispatcher for scope 'cell'
[REGISTRY] Found 0 events
[REGISTRY] Generated 9792 bytes
error[KORU161]: captured: no field 'vists' on shape 'room_state' — write heads come from the proto block
--> tests/regression/400_RUNTIME_FEATURES/460_CELL/460_006_cell_capture_unknown_write_field/input.kz:20:4Must fail at runtime with:
CONTAINS no field 'vists'
CONTAINS room_stateFlows
flow ~std/proto click a branch to expand · @labels scroll to their anchor
std/proto (room_state, source: visits: u32)
flow ~register click a branch to expand · @labels scroll to their anchor
register (scope: "cell", source: )
flow ~open click a branch to expand · @labels scroll to their anchor
open (expr: room_state, id: "room-7")
Test Configuration
MUST_ERROR