✓
Passing Passing: the compiler rejects this program as expected.
Code
// Test: `std/cell:open(nosuch, ...)` — the shape name must resolve to a
// declared std/proto at comptime. An unknown shape is a refusal, not a
// runtime miss.
~import std/io
~import std/cell
~import std/runtime
~std/runtime:register(scope: "cell") {
}
~std/cell:open(nosuch, id: "assistant")
| cell c |> std/cell:hibernate(c)
Actual compiler output
[REGISTRY] Creating dispatcher for scope 'cell'
[REGISTRY] Found 0 events
[REGISTRY] Generated 9792 bytes
error[KORU161]: std/cell:open(nosuch): unknown shape — no `std/proto(nosuch) { ... }` declared
--> tests/regression/400_RUNTIME_FEATURES/460_CELL/460_002_cell_open_unknown_shape/input.kz:12:0Must fail at runtime with:
CONTAINS unknown shape
CONTAINS std/proto(nosuch)Flows
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: nosuch, id: "assistant")
Test Configuration
MUST_ERROR