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
jadpo
ReferenceErrors

ErrorsValues and types · rule

syntax.type_parent_required

Type has no base.

Area 2, Values and types; not declinable; the next step is usually the agent's.

example
type BoxSize = {    width: Int}
jadpo checkcheck failed: 1 error, 1 file

error BoxSize needs a base type

--> main.jadpo:1:16

  |1 | type BoxSize = {  |                ^ expected a base before `{`
reason
Every type is written type Name = Base { ... }; the base says what it is built from, such as Object, Enum, Input or Text.
next
Add the base before {, for example type BoxSize = Object { (agent)
rule
syntax.type_parent_required
help
https://jadpo.dev/docs/errors/syntax.type_parent_required

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