Values and types · rule
type.setting_value
Setting has the wrong kind of value.
Area 2, Values and types; not declinable; the next step is usually the agent's.
A setting with a fixed set of options takes an enum value, Type.value; quantities take numbers of the right kind:
type ContactEmail = Text { format: email}
error: `format` takes a `TextFormat` value, such as `TextFormat.email` --> main.jadpo:2:13 |2 | format: email | ^^^^^ a name here reason: `format` is a constraint, and its value must be a `TextFormat` value, such as `TextFormat.email`. next: Write `TextFormat.email` (agent) rule: type.setting_value help: https://jadpo.dev/docs/errors/type.setting_valuecheck failed: 1 error, 1 file
Markdown for agents: /docs/errors/type.setting_value.md.Built from Jadpo main at a707efb.