017 proto fused field line

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

Code

// PINS: a proto field line names ONE field. `rpm: i32 serial: string` reads
// `serial: string` as a second field fused to `rpm`'s line, and the refusal
// names the fused fragment — proto fields are one `name: type` per line.
import std/types

std/types:proto(Fused) {
    rpm: i32 serial: string
}

input.k

Actual compiler output

error[KORU173]: std/types/proto(Fused): 'serial: string' began a new field on the same line — proto fields are one `name: type` per line
  --> tests/regression/600_STDLIB/665_PROTO/665_017_proto_fused_field_line/input.k:6:0

Compiler must reject:

Compilation must fail with a diagnostic.

Flows

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

proto (expr: Fused, source: rpm: i32 serial: string)

Test Configuration

MUST_ERROR

← 016 proto field bound twice default door 018 proto fused field line default door →