024 types proto field comma refused

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

Code

// PINS: the std/types:proto door's field-block copy refuses a comma too —
// the rule is one rule across both doors' walks.
import std/types

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

input.k

Actual compiler output

error[KORU173]: std/types/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_024_types_proto_field_comma_refused/input.k:5:1

Must contain:

error[KORU173]

Flows

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

proto (expr: Point, source: x: i64, y: i64)

Test Configuration

MUST_ERROR

← 023 proto field comma refused 025 enum tag comma refused →