Values and types · rule
type.not_record
Braces build a type that has no fields.
Area 2, Values and types; not declinable; the next step is usually the agent's.
type ProductName = Text { max_length: 120}function blank() -> ProductName { return ProductName {}}
error: `ProductName` isn't built with `{ ... }` --> main.jadpo:6:12 |6 | return ProductName {} | ^^^^^^^^^^^^^^ has no fields reason: Braces build objects and variants with fields; `ProductName`, built on `Text`, takes one value in brackets. next: Write `ProductName(...)` with one value (agent) rule: type.not_record help: https://jadpo.dev/docs/errors/type.not_recordcheck failed: 1 error, 1 file
Markdown for agents: /docs/errors/type.not_record.md.Built from Jadpo main at a707efb.