○
Planned This feature is planned but not yet implemented.
Multi-field captured updating multiple captures: captured { inner: 42, outer: 99 }
Failure Output
Showing last 10 of 13 lines
23 | ~capture(expr: { outer: @as(i32, 0) })
| ^
hint: remove the argument, or label it with a real parameter (e.g. 'source:')
error[PARSE006]: unknown parameter 'expr' — 'capture' has no parameter named 'expr'
--> tests/regression/300_ADVANCED_FEATURES/320_STDLIB/320_035_capture_multi_field/input.kz:24:0
|
24 | | as o |> capture(expr: { inner: @as(i32, 0) })
| ^
hint: remove the argument, or label it with a real parameter (e.g. 'source:')Code
// FRONTIER (deferred 2026-06-03): one `captured` block updating MULTIPLE cells =
// store territory (the new model is single-cell). Old brace form. NOTE: still green
// coincidentally — the new transform ignores brace-form captured, so this survives;
// it is slated for store rework. See project_capture_dissolves_into_effect_cell.
// Test: Single `captured` block updates multiple captures simultaneously
// This demonstrates that captures create a combined state space where
// field names must be unique, and `captured { a: X, b: Y }` updates
// ALL captures that own those fields.
~import std/io
~import std/control
const std = @import("std");
~tor print-results { outer_val: i32, inner_val: i32 }
~proc print-results|zig {
std.debug.print("{d},{d}\n", .{outer_val, inner_val});
}
// Outer capture owns `outer`, inner capture owns `inner`
// A single `captured` block updates BOTH captures at once
~capture(expr: { outer: @as(i32, 0) })
| as o |> capture(expr: { inner: @as(i32, 0) })
| as => captured { inner: 42, outer: 99 }
| captured result |> print-results(outer_val: o.outer, inner_val: result.inner)
| captured |> _
Expected output
99,42
Flows
flow ~capture click a branch to expand · @labels scroll to their anchor
capture (expr: { outer: @as(i32, 0) })
Test Configuration
MUST_RUN