034 metatype branch requires binding

○ Planned This feature is planned but not yet implemented.

Emitter should reject metatype branches without bindings (| Transition |> should require | Transition t |> or | Transition _ |>)

Code

// Test: Metatype branches require bindings
// The Transition metatype branch must have a binding (t or _)
// | Transition |> is invalid - should be | Transition t |> or | Transition _ |>

const std = @import("std");

~import "$std/taps"

~event work {}
| done {}

~event logger {}

~proc work {
    return .{ .done = .{} };
}

~proc logger {
    std.debug.print("observed\n", .{});
}

// This should fail - Transition branch is missing binding
~tap(work -> *)
| Transition |> logger()

~work()
| done |> _
input.kz
← 033 default with dependencies 035 tap void event transition →