107 comptime module tap wall

✓ Passing Passing: the compiler rejects this program as expected.

Code

// Pins the wall: importing a comptime-mode module that declares taps must be
// rejected with a koru-level diagnostic. The comptime pipeline does not expand
// transforms (by design — no unbounded recompiles); without the wall the
// tap-flow lowers into backend Zig as a bare event invocation carrying raw
// pattern syntax.
const std = @import("std");
~import app/test_lib/tapmod

~tor ping {}

~proc ping|zig {
    std.debug.print("ping\n", .{});
}

~ping()

input.kz

Supporting Files

// A [comptime|runtime] module carrying a tap — the shape the wall rejects.
~[comptime|runtime]

const std = @import("std");
~import std/taps

~[opaque] tor observe { msg: string }

~proc observe|zig {
    std.debug.print("[obs] {s}\n", .{msg});
}

~tap(* -> *)
| Profile p |> observe(msg: p.source)

test_lib/tapmod.kz

Actual compiler output

error[KORU141]: taps are not supported in a ~[comptime] module — the comptime pipeline does not expand transforms (module 'app.test_lib.tapmod')
  --> /Users/larsde/src/koru/tests/regression/300_ADVANCED_FEATURES/310_COMPTIME/310_107_comptime_module_tap_wall/test_lib/tapmod.kz:13:0
    |
 13 | }
    | ^
  hint: drop the tap, or remove the module's comptime mode so the tap runs at runtime (see std/profiler)

Must fail at frontend compile:

Parsing or type-checking must reject the program.

Expected patterns

Each line is a regex that must match the compiler error output.

taps are not supported in .*comptime.* module

Flows

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

ping

Test Configuration

MUST_ERROR

← 106 annotation nested entry delimiters 108 command gated import →