✓
Passing This code compiles and runs correctly.
Code
// ============================================================================
// Test 210_059: Reject tilde invocation after pipe-forward
// A pipe-forward (|>) chains into a continuation body, not a new flow.
// Writing `~call()` after `|>` is nonsensical — if you need to chain
// flows, use a branch binding and invoke from the continuation body.
// ============================================================================
~event greet { name: []const u8 }
|> is not valid Koru
~greet(name: "World")
|>
~farewell(name: "World")
Expected
error[KORU010]: stray continuation line without Koru construct
--> tests/regression/200_COMPILER_FEATURES/210_PARSER/210_059_reject_tilde_after_pipe_forward/input.kz:9:1
|
9 | |> is not valid Koru
| ^
error[KORU010]: '|>' cannot start a line
--> tests/regression/200_COMPILER_FEATURES/210_PARSER/210_059_reject_tilde_after_pipe_forward/input.kz:11:0
|
11 | |>
| ^^
hint: '|>' is inline glue only — it joins a body to its branch handler, or chains void events on one line. Three legal layouts: (1) fold inline `~A() |> B()`; (2) split into separate top-level statements `~A()` then `~B()`; (3) delete the redundant `|> _` if the head suffices.
Error Verification
Actual Compiler Output
error[KORU010]: stray continuation line without Koru construct
--> tests/regression/200_COMPILER_FEATURES/210_PARSER/210_059_reject_tilde_after_pipe_forward/input.kz:9:1
|
9 | |> is not valid Koru
| ^
error[KORU010]: '|>' cannot start a line
--> tests/regression/200_COMPILER_FEATURES/210_PARSER/210_059_reject_tilde_after_pipe_forward/input.kz:11:0
|
11 | |>
| ^^
hint: '|>' is inline glue only — it joins a body to its branch handler, or chains void events on one line. Three legal layouts: (1) fold inline `~A() |> B()`; (2) split into separate top-level statements `~A()` then `~B()`; (3) delete the redundant `|> _` if the head suffices.Test Configuration
MUST_FAIL
Expected Behavior:
FRONTEND_COMPILE_ERROR