037 qualified call unimported module

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

Code

// Pin: a qualified call into a module that was never imported must refuse
// with KORU211, not reach the emitter — where it used to become a blind
// name-mangled handler call with its string arg demoted to a record field
// (`.@"{{ … }}" = "{{ … }}"`), dying at Zig compile with a nonsense error.
std/io:print.ln("hello")

input.k

Actual compiler output

error[KORU040]: call to `std.io:print.ln` cannot be resolved — module `std.io` declares nothing in this program
  --> tests/regression/100_MODULE_SYSTEM/110_IMPORTS/110_037_qualified_call_unimported_module/input.k:5:1
    |
  5 | std/io:print.ln("hello")
    | ^
  hint: if `std.io` is a module, it needs `import std/io` at file scope (`~import std/io` in a .kz)

Must fail at frontend compile:

Parsing or type-checking must reject the program.

Error output must contain

cannot be resolved

Flows

flow ~print.ln click a branch to expand · @labels scroll to their anchor

print.ln ("hello")

Test Configuration

MUST_ERROR

← 036 spelled default door refused 001 io print ln in module →