Values and types · rule
type.duplicate_field
Field is given twice.
Area 2, Values and types; not declinable; the next step is usually the agent's.
A field is given once when a value is built, and declared once in a type:
type ProductName = Text { max_length: 120}type Product = Object { name: ProductName}function build_product(name: ProductName) -> Product { return Product { name: name name: name }}
error: `name` is given twice --> main.jadpo:12:9 |11 | name: name | ---- first given here12 | name: name | ^^^^ given again reason: Each field of `Product` is given once, so there is never a question of which value counts. next: Remove one `name` (agent) rule: type.duplicate_field help: https://jadpo.dev/docs/errors/type.duplicate_fieldcheck failed: 1 error, 1 file
Markdown for agents: /docs/errors/type.duplicate_field.md.Built from Jadpo main at a707efb.