010 module wildcard metatype

✗ Failing This test is currently failing.

Failed: output

Failure Output

🎯 Compiler coordination: Passes: 20 (flow-based: elaborate, analysis, emission)

Code

const std = @import("std");
~import app/test_lib/logger
~tor compute { x: i32 } -> i32
~tor format { value: i32 } -> string
~proc compute|zig {
    std.debug.print("compute({d})\n", .{x});
    return x * 2;
}
~proc format|zig {
    std.debug.print("format({d})\n", .{value});
    return "formatted";
}
~compute(x: 42): r |> format(value: r)
    | formatted |> _

input.kz

Actual

[TAP] Audit: koru:start.done
compute(42)
[TAP] Audit: input:compute.__void
format(84)
[TAP] Audit: input:format.formatted
[TAP] Audit: koru:end.done

Expected output

[TAP] Audit: koru:start.done
compute(42)
[TAP] Audit: input:compute.result
format(84)
[TAP] Audit: input:format.formatted
[TAP] Audit: koru:end.done

Flows

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

compute (x: 42)

Imported Files

// Logger with module wildcard + metatype tap
// BUG: String interpolation doesn't substitute metatype bindings
// {{a.source}} should become _profile_0.source but doesn't

~import std/taps
~import std/io

// VALID: Module wildcard (input:*) + metatype (Audit)
// Audit metatype works on ANY event in the main module
~tap(input:* -> *)
| Audit a |> std/io:print.ln("[TAP] Audit: {{a.source:s}}.{{a.branch:s}}")

test_lib/logger.kz

Test Configuration

MUST_RUN

← 009 universal wildcard metatype 011 auto discharge multiple →