Logic · rule
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 of `itmes:` (agent) rule: type.named_argument_unknown help: https://jadpo.dev/docs/errors/type.named_argument_unknowncheck failed: 1 error, 1 file
Markdown for agents: /docs/errors/type.named_argument_unknown.md.Built from Jadpo main at a707efb.