✓
Passing This code compiles and runs correctly.
Code
// PIN (part): `[flag]part <tag>` gates the sibling join on the annotation-
// entry vocabulary — the same gate `[flag]import` runs. With the flag set,
// the declaration survives and `input.gated.kz` joins exactly as `part`
// always did (140_020/021); the part's tors are in scope unqualified.
// (The pure-Koru view spells it `[flag]part`, the .kz view `~[flag]part`.)
[partgate]part gated
greet(): r |> show(v: r)
Supporting Files
// The gated part file: events + procs in one host-embedded file, joined
// only because the `partgate` flag was set (COMPILER_FLAGS=--partgate).
const std = @import("std");
~pub tor greet {} -> u32
~pub tor show { v: u32 }
~proc greet|zig { return 7; }
~proc show|zig { std.debug.print("{d}\n", .{v}); }
Actual
7
Expected output
7
Flows
flow ~greet click a branch to expand · @labels scroll to their anchor
greet
Test Configuration
MUST_RUN
Compiler Flags:
--partgate