056 cross module comptime dispatch

✓ Passing This code compiles and runs correctly.

Code

// TEST: Cross-module comptime dispatch with [norun]
//
// When a [comptime|norun] event is declared in an imported module and
// invoked from user code, comptime_main should generate a comptime_flowN
// call for it in backend_output_emitted.zig.
//
// KNOWN BUG: The frontend doesn't generate comptime_flowN calls when
// the event has [norun] and is cross-module. The event handler IS
// correctly emitted, but comptime_main is empty and never calls it.
// Note: [comptime] alone (without norun) works fine cross-module.
//
// Same-file comptime works: see 210_030_comptime_flows.
// Real-world reproducer: koru-libs/pq/examples/02_sql.kz
//   ~[comptime|norun]pub event sql { conninfo: ..., source: Source }

import app/comptime_lib

[comptime] app/comptime_lib:setup(config: "test-config")

input.k

Flows

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

setup (config: "test-config")

Imported Files

// Library module with a [comptime] event
//
// Mirrors the pattern from @korulang/postgres:
//   ~[comptime|norun]pub event sql { conninfo: ..., source: Source }
// Simplified to avoid Source parameter complexity.

const std = @import("std");

~[comptime|norun] pub tor setup { config: string } -> string

~proc setup|zig {
    std.debug.print("Comptime setup: {s}\n", .{config});
    return "configured";
}

comptime_lib.kz

Test Configuration

Post-validation Script:

#!/bin/bash
# Verify that comptime_main dispatches cross-module comptime flows.
#
# In the working case (same-file comptime, see 210_030), comptime_main looks like:
#   pub fn comptime_main(...) {
#       ...
#       main_module.comptime_flow0(current_program, allocator);
#       return current_program;
#   }
#
# The bug: when the [comptime] event is declared in an imported module,
# comptime_main is empty — no comptime_flowN calls are generated.

BACKEND_EMIT="backend_output_emitted.zig"

if [ ! -f "$BACKEND_EMIT" ]; then
    echo "FAIL: No backend_output_emitted.zig generated"
    exit 1
fi

# Check 1: The event handler should be emitted (this part works)
if grep -q "setup_event" "$BACKEND_EMIT"; then
    echo "OK: setup_event handler is emitted (expected)"
else
    echo "FAIL: setup_event handler not found in $BACKEND_EMIT"
    echo "The cross-module event was not emitted at all."
    exit 1
fi

# Check 2: comptime_main should exist
if ! grep -q "pub fn comptime_main" "$BACKEND_EMIT"; then
    echo "FAIL: No comptime_main function found"
    exit 1
fi

# Check 3: comptime_main should call a comptime_flow function
# Extract comptime_main body (up to the closing brace at the same indent level)
# and check for any comptime_flow call
COMPTIME_MAIN=$(sed -n '/pub fn comptime_main/,/^}/p' "$BACKEND_EMIT")

if echo "$COMPTIME_MAIN" | grep -q "comptime_flow"; then
    echo "PASS: comptime_main dispatches cross-module comptime flow"
    exit 0
else
    echo "FAIL: comptime_main does NOT call any comptime_flow function"
    echo ""
    echo "The cross-module [comptime] event handler is emitted, but"
    echo "comptime_main never calls it. The comptime code would never"
    echo "execute during backend compilation."
    echo ""
    echo "comptime_main contents:"
    echo "$COMPTIME_MAIN"
    exit 1
fi

← 054 inline source block args 057 cross module comptime callsite fields →