✗
Failing This test is currently failing.
Failed: backend-exec
Failure Output
error[KORU047]: event 'input:compute' is invoked but has no implementation — without one the compiler would silently stub it to return zero-defaults. Implement it with a proc (`~proc compute|zig { ... }`), a bare-return impl (`~compute -> <value>`), a branch constructor (`~compute => <branch> <value>`), or a subflow (`~compute = <flow>`)
--> tests/regression/500_INTEGRATION_TESTING/510_NEGATIVE_TESTS/510_101_terminal_decl_handled_as_effect/input.kz:11:0
❌ Compiler coordination error: Validation failed (see errors above)
error: CompilerCoordinationFailed
???:?:?: 0x1023d79d3 in _backend.RuntimeEmitter.emit (???)
???:?:?: 0x1023d8b63 in _backend.main (???)Code
// ============================================================================
// Test 510_101: MUST_FAIL — terminal `|` decl branch handled by `!` cont.
//
// The event declares `done` as a TERMINAL branch (`|`), but the consumer
// dispatches with `! done`. The shape checker rejects.
// ============================================================================
~pub event compute { x: i32 } -> i32
~compute(x: 1)
! done _ |> _
Must fail at runtime:
Program must error when executed.
Flows
flow ~compute click a branch to expand · @labels scroll to their anchor
compute (x: 1)
Test Configuration
Expected Error:
error[KORU025]: branch 'done' is declared as terminal