Values and types · rule
type.unknown_field
Type has no such field.
Area 2, Values and types; not declinable; the next step is usually the agent's.
type ProductName = Text { max_length: 120}type Product = Object { name: ProductName}function build_product(name: ProductName) -> Product { return Product { name: name title: name }}
error: `Product` has no field `title` --> main.jadpo:12:9 |12 | title: name | ^^^^^ not declared reason: `Product`'s fields are `name`. next: Remove `title`, or declare it on `Product` (agent) rule: type.unknown_field help: https://jadpo.dev/docs/errors/type.unknown_fieldcheck failed: 1 error, 1 file
Markdown for agents: /docs/errors/type.unknown_field.md.Built from Jadpo main at a707efb.