123 reject chain glyph introduces value

✓ Passing Passing: the compiler rejects this program as expected.

Code

// Glyph discipline (KORU103): `|>` CHAINS a step (an invocation, or a `_`
// discard) — it never introduces a bare VALUE. The resume value of a `-> T`
// effect is PRODUCED with `->`, not piped with `|>`. `! ask _ |> 42` was the
// old loose spelling; it must now be `! ask _ -> 42` (cf. 400_116). Twin of the
// `=>` rejection (KORU102, 400_122).
~import std/io

~pub tor query { q: string }
! ask string -> i32
| done i32

~proc query|zig {
    const a = ask(q);
    return .{ .done = a };
}

~query(q: "x")
! ask _ |> 42
| done r |> std/io:print.ln("{{ r:d }}")

input.kz

Actual compiler output

error[KORU103]: `|>` chains a step; it cannot introduce the value `42` — produce a value with `->` (e.g. `-> 42`)
  --> tests/regression/400_RUNTIME_FEATURES/400_123_reject_chain_glyph_introduces_value/input.kz:18:0
    |
 18 | ! ask _ |> 42
    | ^

Frontend must reject with:

CONTAINS KORU103
CONTAINS chains a step

Test Configuration

MUST_ERROR

← 122 reject construct glyph on resume effect 124 effect arm cannot issue obligation →