Jadpo is experimental and not ready for production. These docs follow the compiler's main branch as of 30 Oct 2026. What's built · Install 0.1.0
jadpo
Reference: Values and types

Values and types · rule

type.base_outside_declaration

Base is used outside a type declaration.

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

There is no unnamed object: Object, Enum, Input and Output appear only after = (question 19):

example
type Basket = Object {    details: Object}
text
error: `Object` is used as a type --> main.jadpo:2:14  |2 |     details: Object  |              ^^^^^^ only a base  reason: `Object` is written only after `=` in a `type` declaration; every shape has a name, so a field or signature names that type.  next: Declare `type Name = Object { ... }` and use its name here (agent)  rule: type.base_outside_declaration  help: https://jadpo.dev/docs/errors/type.base_outside_declarationcheck failed: 1 error, 1 file

Markdown for agents: /docs/errors/type.base_outside_declaration.md.Built from Jadpo main at a707efb.