✓
Passing This code compiles and runs correctly.
Code
// ============================================================================
// Test 510_100: MUST_FAIL — effect `!` decl branch handled by `|` cont.
//
// The event declares `each` as a YIELDING branch (`!`), but the consumer
// dispatches with `| each` (terminal `|`). The shape checker rejects:
// the kinds must match between decl and handler.
// ============================================================================
~pub event tokenize { source: []const u8 }
! each []const u8
| done usize
~tokenize(source: "x")
| each _ |> _
| done _ |> _
Must fail at runtime:
Program must error when executed.
Flows
flow ~tokenize click a branch to expand · @labels scroll to their anchor
tokenize (source: "x")
Test Configuration
Expected Error:
error[KORU025]: branch 'each' is declared as effect