015 reject branch payload unbound

✗ Failing This test is currently failing.

Failed: backend-exec

Error Details

output_emitted.zig:54:37: error: type 'i32' does not support field access

Failure Output

🎯 Compiler coordination: Passes: 20 (flow-based: elaborate, analysis, emission)
Error: output_emitted.zig:54:37: error: type 'i32' does not support field access
        const result_0_ok = result_0.ok;
                            ~~~~~~~~^~~
referenced by:
    main: output_emitted.zig:103:22
    callMain [inlined]: /opt/homebrew/Cellar/zig/0.15.2_1/lib/zig/std/start.zig:618:22
    callMainWithArgs [inlined]: /opt/homebrew/Cellar/zig/0.15.2_1/lib/zig/std/start.zig:587:20
    main: /opt/homebrew/Cellar/zig/0.15.2_1/lib/zig/std/start.zig:602:28
    1 reference(s) hidden; use '-freference-trace=5' to see all references

Code

// TEST: Reject `| ok |> _` when the branch carries a payload.
//
// A payload-bearing branch must explicitly bind or discard its payload —
// silently ignoring the carried value is illegal. The branch name is part
// of the dispatch, but the value the branch carries must be acknowledged.
//
// Legal:   | ok x |> use(x)     — bind and use
// Legal:   | ok _ |> _          — explicit discard
// Illegal: | ok |> _            — neither bound nor discarded

~tor compute {} -> i32

~proc compute|zig {
    return 42;
}

~compute()
| ok |> _

input.kz

Must fail at runtime:

Program must error when executed.

Flows

flow ~compute click a branch to expand · @labels scroll to their anchor

compute

Test Configuration

Expected Error:

has payload but no binding

← 014 reject underscore outside branch handler 016 reject continuation without branch handler →