045 runtime run event denied

✓ Passing This code compiles and runs correctly.

Code

// Test: std.runtime:run returns event_denied for unregistered events

~import "$std/runtime"
~import "$std/io"

~pub event allowed {}
| ok {}

~proc allowed {
    return .{ .ok = .{} };
}

~pub event denied {}
| ok {}

~proc denied {
    return .{ .ok = .{} };
}

~std.runtime:register(scope: "limited") {
    allowed(1)
}

const TEST_SOURCE = "~denied()";

~std.runtime:run(source: TEST_SOURCE, scope: "limited")
| result _ |> std.io:print.ln("OK")
| exhausted _ |> std.io:print.ln("EXHAUSTED")
| parse_error _ |> std.io:print.ln("PARSE ERROR")
| validation_error _ |> std.io:print.ln("VALIDATION ERROR")
| event_denied _ |> std.io:print.ln("EVENT DENIED")
| dispatch_error _ |> std.io:print.ln("DISPATCH ERROR")
| scope_not_found _ |> std.io:print.ln("SCOPE NOT FOUND")
input.kz

Expected Output

EVENT DENIED

Test Configuration

MUST_RUN