✓
Passing This code compiles and runs correctly.
Code
// A multi-field record resumed ANONYMOUSLY through an effect arm: `-> { a, b }` is
// the record extension of the scalar resume `-> i64` (400_148), orthogonal to
// named continuation branches (400_135's `| result {…}` picks a tagged outcome).
// RULED: the arm's resume shape and continuation branches are different concepts —
// the handler hands back one record, the producer binds it and field-accesses. The
// single-field case collapses to the scalar (210_150); two fields is the legal record.
import std/io
pub tor request { seed: i64 }
! ask -> { a: i64, b: i64 }
| done i64
request = ask(): c => done c.a + c.b + seed
request(seed: 8)
! ask -> { a: 10, b: 20 }
| done r |> std/io:print.ln("{{ r:d }}")
Actual
38
Expected output
38
Flows
subflow ~request click a branch to expand · @labels scroll to their anchor
ask
flow ~request click a branch to expand · @labels scroll to their anchor
request (seed: 8)
Test Configuration
MUST_RUN