065 reject inline flow in proc

✓ Passing This code compiles and runs correctly.

Code

input.kz

Must fail at frontend compile:

Parsing or type-checking must reject the program.

Expected patterns

Each line is a regex that must match the program output.

error\[KORU003\]
inline flows are not supported
~ping\(\)
input\.kz:16

Flows

flow ~ping click a branch to expand · @labels scroll to their anchor
ping