type.named_argument_unknown
Named argument is not a parameter.
Area 3, Logic; not declinable; the next step is usually the agent's.
type Stock = Int { min: 0}function line_count(lines: List<Stock>) -> Stock { return Stock(list.count(itmes: lines))}
error list.count has no argument itmes
--> main.jadpo:6:29
|6 | return Stock(list.count(itmes: lines)) | ^^^^^ not a parameter
- reason
- Its one argument is
items. - next
- Use
items:instead ofitmes:(agent) - rule
- type.
named_ argument_ unknown - help
- https://jadpo.
dev/docs/errors/type. named_ argument_ unknown
Markdown for agents: /docs/errors/type.named_argument_unknown.md.Built from Jadpo main at aee2e8f.