✓
Passing This code compiles and runs correctly.
Code
// Test: an explicit label naming a parameter the callee does NOT have is
// rejected at the koru FRONTEND (PARSE006 "unknown parameter"), not deferred to
// a raw Zig "no field named 'y'" leak. Named-parameter rule: every argument
// must name a real parameter, and an unknown one is caught at our own boundary
// with a koru-level diagnostic. `foo` has field `x` only; `y: 2` is rejected.
~tor foo { x: i32 }
~foo(x: 1, y: 2)
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\[PARSE006\]
unknown parameter 'y'Flows
flow ~foo click a branch to expand · @labels scroll to their anchor
foo (x: 1, y: 2)