ErrorsValues and types · rule
type.constraint_contradiction
Constraints contradict each other.
Area 2, Values and types; not declinable; the next step is usually the agent's.
type Nickname = Text { min_length: 10 max_length: 3}
error max_length: 3 is below min_length: 10
--> main.jadpo:3:5
|2 | min_length: 10 | ---------- the minimum3 | max_length: 3 | ^^^^^^^^^^ below the minimum
- reason
- No value could follow both rules, so the type could never be built.
- next
- Correct
min_lengthormax_length(agent) - rule
- type.
constraint_ contradiction - help
- https://jadpo.
dev/docs/errors/type. constraint_ contradiction
Markdown for agents: /docs/errors/type.constraint_contradiction.md.Built from Jadpo main at aee2e8f.