051 identity branch empty capture

✓ Passing This code compiles and runs correctly.

Code

// Test: Empty identity branches should NOT generate captures
//
// BUG: When | full is NESTED inside another branch, it generates
//      .full => |full| { ... } instead of .full => { ... }
//
// This test replicates the exact structure from $std/rings.

~import "$std/io"
~import "$app/test_lib"

// Nested structure like rings: | ok |> inner_call() | full |>
~app.test_lib.ops:try_op()
| ok |> app.test_lib.ops:try_op()
    | ok |> std.io:print.ln("Both ok!")
    | full |> std.io:print.ln("Inner full!")
| full |> std.io:print.ln("Outer full!")

input.kz

Expected Output

Both ok!

Imported Files

// Module with empty identity branches - matching rings pattern

~pub event try_op {}
| ok
| full

~proc try_op {
    return .ok;
}

test_lib/ops.kz

Test Configuration

MUST_RUN

← 050 identity branches 052 braceless branch constructors →