ErrorsValues 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
Productis 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_ field
Markdown for agents: /docs/errors/type.duplicate_field.md.Built from Jadpo main at aee2e8f.