✓
Passing This code compiles and runs correctly.
Code
// TEST: Nested tilde invocations should fail
// MUST_FAIL: Nested flows (~) are not allowed inside continuations
//
// The ~ prefix starts a flow at the top level. Inside a continuation,
// you should use a bare event call instead.
//
// WRONG: | done d |> ~inner()
// RIGHT: | done d |> inner()
const std = @import("std");
~pub event outer {}
| done i32
~pub event inner { x: i32 }
~outer()
| done d |> ~inner(x: d.value) |> nop()
~pub event nop {}
Must fail at frontend compile:
Parsing or type-checking must reject the program.
Expected compiler error
error[PARSE001]: Nested flows (~) are not allowed inside continuations. Use a bare event call instead: remove the ~ prefix.
--> tests/regression/100_PARSER/100_070_nested_tilde_invocations/input.kz:18:0
|
18 | | done d |> ~inner(x: d.value) |> nop()
| ^
Error Verification
Actual Compiler Output
error[PARSE001]: Nested flows (~) are not allowed inside continuations. Use a bare event call instead: remove the ~ prefix.
--> tests/regression/100_PARSER/100_070_nested_tilde_invocations/input.kz:18:0
|
18 | | done d |> ~inner(x: d.value) |> nop()
| ^Test Configuration
MUST_FAIL