ErrorsValues and types · rule
type.type_argument_count
Type has the wrong number of type arguments.
Area 2, Values and types; not declinable; the next step is usually the agent's.
type Tag = Text { max_length: 30}type Basket = Object { tags: List<Tag, Tag>}
error List takes one type argument, as in List<Tag>
--> main.jadpo:6:11
|6 | tags: List<Tag, Tag> | ^^^^^^^^^^^^^^ 2 given
- reason
Listholds values of the type in< >, so it needs exactly 1.- next
- Write
Listwith one type argument, as inList<Tag>(agent) - rule
- type.
type_ argument_ count - help
- https://jadpo.
dev/docs/errors/type. type_ argument_ count
Markdown for agents: /docs/errors/type.type_argument_count.md.Built from Jadpo main at aee2e8f.