006 transitive file import

○ Planned This feature is planned but not yet implemented.

OWED: A → B → C file-import chain compiles and dispatches.

Failure Output

error[KORU021]: continuation branch 'doubled' on tor 'app.base:double' — a bare return has no tags
  --> /Users/larsde/src/koru/tests/regression/100_MODULE_SYSTEM/110_IMPORTS/110_006_transitive_file_import/helper.kz:14:8
  hint: bind the value with `: name`, not `| doubled`

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

Code

// Test 155: Transitive File Import
//
// Tests that A -> B -> C import chain works:
// - input.kz imports helper.kz
// - helper.kz imports base.kz
// - input.kz uses helper, helper uses base
//
// KEY TEST: Does the compiler correctly handle transitive imports?
// Does base.kz get emitted even though input.kz doesn't directly import it?

const std = @import("std");

// Import helper (which itself imports base)
~import app/helper

// Use helper's quadruple event (which uses base's double event internally)
~app/helper:quadruple(x: 5)

// Expected: 5 * 4 = 20
// (quadruple calls double twice: 5 -> 10 -> 20)

input.kz

Supporting Files

// Base module - lowest level in import chain
// Defines a simple pure operation

const std = @import("std");

~pub tor double { x: i32 } -> i32

~proc double|zig {
    const result = x * 2;
    return result;
}

base.kz

// Helper module - middle level in import chain
// Imports base.kz and builds on its functionality

const std = @import("std");

// TRANSITIVE IMPORT: helper imports base
~import app/base

// Define quadruple by calling base's double twice
~pub tor quadruple { x: i32 } -> i32

~quadruple =
    app/base:double(x): d1 |> app/base:double(x: d1)
        | doubled d2 -> d2

helper.kz

Flows

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

quadruple (x: 5)

Test Configuration

MUST_RUN

← 005 deep error handling 007 dir import basic →