Jadpo is experimental and not ready for production. These docs follow the compiler's main branch as of 5 Nov 2026. What's built · Install 0.3.0

ReferenceErrors

`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.

example

type Count = Int {    min: 0}struct GridCell {    across: Count    down: Count}

jadpo checkcheck failed: 1 error, 1 file

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_keyword

Markdown for agents: /docs/errors/syntax.type_keyword.md.Built from Jadpo main at aee2e8f.