088 dot namespace on impl head

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

Code

// Pins: `.` is not a namespace separator on an impl-assignment head either.
// Call sites refuse `std.io:` under KORU035 (rejectDotNamespace); the impl
// head `std.compiler:coordinate = ...` reaches parseQualifiedPath unswept,
// and the old spelling silently overrides the pipeline. One rule, one more
// site: spell it `std/compiler:coordinate`.
import std/io

std.compiler:coordinate = error "sanctioned pipeline only"

tor greet {}

greet()

input.k

Actual compiler output

error[KORU035]: '.' is not a namespace separator in 'std.compiler' — use '/' (e.g. 'std/io:...', not 'std.io:...'). '.' is member access after ':'.
  --> tests/regression/100_PARSER/100_088_dot_namespace_on_impl_head/input.k:8:1
    |
  8 | std.compiler:coordinate = error "sanctioned pipeline only"
    | ^

Frontend must reject with:

CONTAINS is not a namespace separator
CONTAINS std.compiler

Test Configuration

MUST_ERROR

← 087 parse006 hint names positional param 089 captured field swallows tor line →