005 companion k and kz

✗ Failing This test is currently failing.

Failed: backend-exec

Error Details

output_emitted.zig:489:41: error: type 'u32' does not support struct initialization syntax

Failure Output

🎯 Compiler coordination: Passes: 17 (flow-based: frontend, analysis, emission)
Error: output_emitted.zig:489:41: error: type 'u32' does not support struct initialization syntax
                    return .{ .done = x + 100 };
                                      ~~^~~~~
referenced by:
    handler [inlined]: output_emitted.zig:480:43
    flow0: output_emitted.zig:40:63
    4 reference(s) hidden; use '-freference-trace=6' to see all references

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): v |> std/io:print.ln("{{ v:d }}")

input.kz

Must succeed:

Compile and run without errors.

Expected output

Flows

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

compute (x: 42)

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 →