○
Planned This feature is planned but not yet implemented.
OWED: else-arm keyword-escape self-loop compiles (the pinned shape).
Error Details
output_emitted.zig:110:13: error: unused while loop label
Failure Output
🎯 Compiler coordination: Passes: 20 (flow-based: elaborate, analysis, emission)
Error: output_emitted.zig:110:13: error: unused while loop label
__koru_self_loop: while (true) {
^~~~~~~~~~~~~~~~Code
// Pins Zig-keyword escaping of branch payload binders on the self-loop
// weaver path. The shape: a self-recursive event whose body opens with a
// BIND (`same(x: n): k |>`) into an `if`, recursing under a `for`'s
// `| done` inside the `| else` arm. The weaver routes this body through
// the subflow self-loop and must emit the else-arm's binder discard as
// `_ = &@"else";` — the escaped spelling the branch capture itself
// already uses — never the raw keyword. (Without the leading bind, or
// without the for-hop, the body takes other emission paths that don't
// exhibit the discard at all.)
import std/io
pub tor same { x: i64 } -> i64
same = if(x > 0)
| then -> x
| else -> x
pub tor countdown { n: i64 } -> i64
countdown = same(x: n): k |> if(k == 0)
| then -> 0
| else |> for(0..1)
! each _ |> _
| done |> countdown(n: k - 1): v -> v
countdown(n: 3): v |> std/io:print.ln("{{ v:d }}")
Expected output
0
Flows
subflow ~same click a branch to expand · @labels scroll to their anchor
if (x > 0)
subflow ~countdown click a branch to expand · @labels scroll to their anchor
same (x: n)
flow ~countdown click a branch to expand · @labels scroll to their anchor
countdown (n: 3)
Test Configuration
MUST_RUN