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

type.copy_cycle

Type includes its own fields.

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

An include that leads back to its own type would copy its fields from themselves:

example
type Title = Text {}type TodoView = Output {    include: [ListView]    title: Title}type ListView = Output {    include: [TodoView]}
jadpo checkcheck failed: 1 error, 1 file

error ListView includes its own fields

--> main.jadpo:9:15

  |9 |     include: [TodoView]  |               ^^^^^^^^ leads back here
reason
TodoView leads back to ListView through its own include, so its fields would be copied from themselves and the type could never be written out.
next
Remove TodoView from include, or write the fields it needs (agent)
rule
type.copy_cycle
help
https://jadpo.dev/docs/errors/type.copy_cycle

Markdown for agents: /docs/errors/type.copy_cycle.md.Built from Jadpo main at aee2e8f.