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:
type Title = Text {}type TodoView = Output { include: [ListView] title: Title}type ListView = Output { include: [TodoView]}
error ListView includes its own fields
--> main.jadpo:9:15
|9 | include: [TodoView] | ^^^^^^^^ leads back here
- reason
TodoViewleads back toListViewthrough its owninclude, so its fields would be copied from themselves and the type could never be written out.- next
- Remove
TodoViewfrominclude, 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.