004 cross module type nested

✓ Passing This code compiles and runs correctly.

Code

// Test 164: Cross-Module Type Reference (Nested Modules)
//
// Tests referencing a type from an explicitly imported nested module.
// Module imports must be explicit - importing a directory does NOT
// automatically load subdirectories.
//
// Structure:
//   test_lib/
//     domain/
//       user.kz  -> defines DomainUser struct
//
// Key Test: Explicit import of nested module, then use its types/events.

const std = @import("std");

// Must explicitly import the nested module (using 'domain' alias from koru.json)
~import domain/user

// This event uses a type from an explicitly imported nested module
~pub event grant-access {
    user_data: domain/user:DomainUser,
}
| granted bool

~proc grant-access|zig {
    std.debug.print("Granting access: {s} as {s} (perms: {d})\n",
        .{user_data.email, user_data.role, user_data.permissions});
    return .{ .granted = true };
}

// Create a domain user and grant access
~domain/user:create(email: "admin@example.com", role: "administrator", permissions: 999)
| created c |> grant-access(user_data: c)
    | granted _ |> _

input.kz

Actual

Granting access: admin@example.com as administrator (perms: 999)

Expected output

Granting access: admin@example.com as administrator (perms: 999)

Imported Files

// Nested domain user module
const std = @import("std");

// Define a domain-specific user type
pub const DomainUser = struct {
    email: []const u8,
    role: []const u8,
    permissions: u32,
};

// Event that creates a domain user
~pub event create {
    email: []const u8,
    role: []const u8,
    permissions: u32,
}
| created DomainUser

~proc create|zig {
    const new_user = DomainUser{
        .email = email,
        .role = role,
        .permissions = permissions,
    };
    return .{ .created = new_user };
}

test_lib/domain/user.kz

Test Configuration

MUST_RUN

← 003 cross module type basic 005 cross module type nullable →