✓
Passing This code compiles and runs correctly.
Code
// TEST: Cross-module [comptime] proc with _ = param; discard pattern
//
// When a [comptime|norun] event is declared in an imported module and
// the proc body uses `_ = param;` to discard a parameter, the emitter
// must translate it to `_ = ¶m;` to avoid Zig 0.15's "pointless
// discard of local constant" error (since the emitter already generates
// `_ = ¶m;` for unused suppression).
//
// Originally predicted as a void-return-type bug, but the return type
// was always correct — both same-file and cross-module procs go through
// the same emitEventDecl() path.
//
// See also: 210_056 (dispatch fix), 210_057 (call site fields fix)
// Real-world reproducer: koru-libs/pq sql event
import app/comptime_lib
[comptime] app/comptime_lib:sql(query: "CREATE TABLE test (id int)")
| ok |> _
| err _ |> _
Flows
flow ~sql click a branch to expand · @labels scroll to their anchor
sql (query: "CREATE TABLE test (id int)")
Imported Files
// Library module with a [comptime|norun] event that returns a union.
//
// The proc returns Output (ok/err union), but the cross-module emitter
// generates the handler with void return type, causing a type mismatch
// on the return statement.
const std = @import("std");
~[comptime|norun] pub tor sql { query: string }
| ok
| err string
~proc sql|zig {
_ = query;
return .{ .ok = .{} };
}