005 companion k and kz

✓ Passing This code compiles and runs correctly.

Code

// Phase 2.1: prove .k + .kz companions both load.
//
// The event `compute` is declared ONLY in contract.k. The proc `compute|zig`
// lives ONLY in contract.kz. For this call site to resolve, the resolver
// must load both files into the `app.contract` module. Today contract.kz
// wins the probe-order race and contract.k is silently dropped, so this
// call site fails. Once the companion-loading fix lands, prints 142.

const std = @import("std");

~import "$std/io"
~import "$app/contract"

~app.contract:compute(x: 42)
| done v |> std.io:print.ln("{{ v:d }}")
input.kz

Actual

142

Must succeed:

Compile and run without errors.

Expected output

142

Imported Files

// Phase 2.1: implementation companion to contract.k. Carries the proc body
// only — the event declaration lives in the sibling .k file. The two files
// merge into one module named `contract`.

const std = @import("std");

~proc compute|zig {
    return .{ .done = x + 100 };
}
contract.kz

Test Configuration

MUST_RUN
← 004 index kjs directory source 006 reject private event in contract →