035 circular imports

✗ Failing This test is currently failing.

Failed: backend-exec

Failure Output

error[KORU021]: continuation branch 'received' on tor 'app.input:from-a' — a bare return has no tags
  --> /Users/larsde/src/koru/tests/regression/200_COMPILER_FEATURES/210_PARSER/210_035_circular_imports/module_b.kz:9:4
  hint: bind the value with `: name`, not `| received`

❌ Compiler coordination error: Incomplete branch coverage
   (set KORU_BACKEND_TRACE=1 for the backend return trace)

Code

// Test: Circular Imports
//
// input.kz imports module_b.kz, which imports input.kz back.
// Proves: (1) circular imports compile without infinite loop,
//         (2) cross-module dispatch works in BOTH directions across the cycle.
//
// Flow: top-level invokes module_b's event, which calls back into input's
// event, which prints. If any link in the cycle breaks, the expected
// output disappears and the test fails loudly.

~import app/module_b

const std = @import("std");

~pub tor from-a { msg: string } -> string

~proc from-a|zig {
    std.debug.print("input.kz received: {s}\n", .{msg});
    return msg;
}

~app/module_b:from-b(msg: "hello from input")

input.kz

Expected output

input.kz received: hello from input

Flows

flow ~from-b click a branch to expand · @labels scroll to their anchor

from-b (msg: "hello from input")

Imported Files

// Module B - imports input.kz back, closing the cycle.
// from-b dispatches back into input.s from-a, then relays its result.

~import app/input

~pub tor from-b { msg: string } -> string

~from-b = app/input:from-a(msg)
    | received r -> r

module_b.kz

Test Configuration

MUST_RUN

← 034 parser wrapper 036 expression parameter →