✓
Passing Passing: the compiler rejects this program as expected.
Code
// Phase 3 captured failing test: when .k exists, the sibling .kz cannot
// also declare pub event. Today both declarations land (the registry
// silently drops the duplicate); this test pins KORU111 until the
// validator pass lands.
const std = @import("std");
~import std/io
~import app/contract
~app/contract:compute(x: 42): v |> std/io:print.ln("{{ v:d }}")
Supporting Files
// Phase 3 rule 2 setup: the .k contract declares the canonical public
// event. The sibling .kz must NOT also declare it as public — the public
// surface lives in .k exclusively when a .k companion exists.
pub tor compute { x: u32 } -> u32
// Phase 3 rule 2: when contract.k exists, this companion .kz file
// cannot also declare pub event. Implementation files own the procs;
// the public surface lives in .k only.
const std = @import("std");
~pub tor compute { x: u32 } -> u32
~proc compute|zig {
return x + 100;
}
Actual compiler output
error[KORU111]: public tor in implementation file '/Users/larsde/src/koru/tests/regression/100_MODULE_SYSTEM/140_FILE_LAYOUT/140_007_reject_pub_event_in_impl_when_k_exists/contract.kz' when a .k contract companion exists in the same module
--> tests/regression/100_MODULE_SYSTEM/140_FILE_LAYOUT/140_007_reject_pub_event_in_impl_when_k_exists/input.kz:6:0
|
6 | const std = @import("std");
| ^
hint: public event declarations belong in the .k contract — move this ~pub event to the sibling .k file, or drop ~pub if it is internal scaffoldingFrontend must reject with:
CONTAINS KORU111
CONTAINS public tor in implementation fileFlows
flow ~compute click a branch to expand · @labels scroll to their anchor
compute (x: 42)
Test Configuration
MUST_ERROR
koru.json:
{
"paths": {
"std": "../../../../../koru_std",
"app": "."
}
}