✓
Passing Passing: the compiler rejects this program as expected.
Code
import std/io
import std/control
// A `zip` whose pairs are delivered to nobody is refused: `! each` is the
// only delivery arm, and without it the call walks to nothing.
std/control:zip(a: 1..3, b: 10..13)
| done n |> std/io:print.ln("{{ n:d }}")
Actual compiler output
error[KORU120]: zip: no delivery arm attached — `! each` must receive the pairs (a `zip` that delivers to nobody walks to nothing)
--> tests/regression/400_RUNTIME_FEATURES/400_228_zip_no_delivery_arm_refused/input.k:8:1Error output must contain
zip: no delivery arm attached — `! each` must receive the pairs (a `zip` that delivers to nobody walks to nothing)Flows
flow ~zip click a branch to expand · @labels scroll to their anchor
zip (a: 1..3, b: 10..13)
Test Configuration
MUST_ERROR