○
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 {}
~event logger {}
~proc work|zig {
}
~proc logger|zig {
std.debug.print("observed\n", .{});
}
// This should fail - Transition branch is missing binding
~tap(work -> *)
| Transition |> logger()
~work()
|> _