✓
Passing Passing: the compiler rejects this program as expected.
Code
// PINS: a store:new seed line whose value is a typed literal `0[i64]` fused
// with the next column refuses KORU161 naming the missing comma. `0[i64]`
// ends `]` but is a value annotation, not a `[`-led type prefix — the
// fusedFieldLine exemption does not apply to it.
import std/io
import std/store
std/store:new(tasks, capacity: 4) { n: 0[i64] m: 0[i64] }
std/io:print.ln("unreachable")
Actual compiler output
error[KORU161]: std/store:new(tasks): missing comma — 'm: 0[i64]' began a new field but was read as part of the field above it; separate fields with commas
--> tests/regression/600_STDLIB/690_STORE/690_345_store_seed_fused_after_typed_value_refused/input.k:8:0Must fail at runtime with:
CONTAINS error[KORU161]
CONTAINS missing comma
CONTAINS 'm: 0[i64]'Flows
flow ~new click a branch to expand · @labels scroll to their anchor
new (tasks, capacity: 4, source: n: 0[i64] m: 0[i64])
flow ~print.ln click a branch to expand · @labels scroll to their anchor
print.ln (expr: "unreachable")
Test Configuration
MUST_ERROR