Values and types · rule
syntax.type_keyword
Type declared with struct, interface or enum.
Area 2, Values and types; not declinable; the next step is usually the agent's.
Every type is type Name = Base { ... }: struct, interface and enum are other languages' words for Object and Enum.
type Count = Int { min: 0}struct GridCell { across: Count down: Count}
error: Jadpo writes `type GridCell = Object`, not `struct GridCell` --> main.jadpo:5:1 |5 | struct GridCell { | ^^^^^^^^^^^^^^^ write `type GridCell = Object` reason: `struct` declares a record in Rust, Go, Swift and C#, `interface` an object's shape in TypeScript, and `enum` a list of cases in most languages; every Jadpo type is `type Name = Base { ... }`, with `Object` or `Enum` as the base. next: Write `type GridCell = Object` (agent) rule: syntax.type_keyword help: https://jadpo.dev/docs/errors/syntax.type_keywordcheck failed: 1 error, 1 file
Markdown for agents: /docs/errors/syntax.type_keyword.md.Built from Jadpo main at a707efb.