009 universal 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] Profile: koru:start.done
compute(42)
[TAP] Profile: input:compute.__void
format(84)
[TAP] Profile: input:format.formatted
[TAP] Profile: koru:end.done

Expected output

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

Flows

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

compute (x: 42)

Imported Files

// Logger with universal wildcard + metatype tap

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

~pub tor log { source: string, branch: string }

~proc log|zig {
    std.debug.print("[TAP] Profile: {s}.{s}\n", .{source, branch});
}

// VALID: Universal wildcard (*:*) + metatype (Profile)
// Profile metatype works on ANY event and ANY branch
~tap(*:* -> *)
| Profile p |> log(p.source, p.branch)

test_lib/logger.kz

Test Configuration

MUST_RUN

← 008 obligation escapes via interface 010 module wildcard metatype →