023 proto field comma refused

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

Code

// PINS: a comma in a proto field list refuses — entries separate on lines;
// the comma is a wart, not a separator (ruled in the entry-grammar frag).
import std/proto

std/proto(Point) {
    x: i64,
    y: i64
}

input.k

Actual compiler output

error[KORU173]: std/proto(Point): field line 'x: i64,' carries a ',' — fields separate on lines; a comma is a wart, not a separator
  --> tests/regression/600_STDLIB/665_PROTO/665_023_proto_field_comma_refused/input.k:5:1

Must contain:

error[KORU173]

Flows

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

std/proto (Point, source: x: i64, y: i64)

Test Configuration

MUST_ERROR

← 022 enum duplicate tag refused 024 types proto field comma refused →