002 list const module

✗ Failing This test is currently failing.

Failed: backend-exec

Failure Output

error[KORU030]: Phantom state mismatch: argument 'xs' has no tracked phantom state, but this event requires state '<list>'.
  --> tests/regression/600_STDLIB/660_COLLECTIONS/660_002_list_const_module/input.k:15:0

❌ Compiler coordination error: Phantom semantic validation failed
   (set KORU_BACKEND_TRACE=1 for the backend return trace)

Code

// RED PIN — module-scope list declaration (growable). PROPOSED, unbuilt.
//
// const-block declares a typed module-scope binding; std/list[i64] delegates
// codegen to the std/list library. `[i64]` echoes const's own `42[i32]`.
// push is VOID (chains `|>`, grounded by 810_071 print.ln |> query). Module-scope
// mutable state = the global category Koru has never had.
import std/io
import std/list

const {
  xs: std/list[i64]
}

std/list:push(xs, v: 3) |> std/io:print.ln("{{ xs.len:d }}")

input.k

Expected output

Flows

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

const (source: xs: std/list[i64])

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

push (xs, v: 3)

Test Configuration

MUST_RUN

← 001 list new flow 003 list len in expr →