type.inline_function_parameters
Inline function has a different number of parameters than its operation gives.
Area 3, Logic; not declinable; the next step is usually the agent's.
An inline function has as many parameters as its operation gives it
values: one item at a time, or two for list.zip_with, map.filter and
map.map_values (area 19):
type Loaf = Text { min_length: 1}type Stock = Int { min: 0}function in_stock(stock: Map<Loaf, Stock>) -> Map<Loaf, Stock> { return map.filter(stock, count -> count > 0)}
error map.filter's keep takes two parameters, not one
--> main.jadpo:10:30
|10 | return map.filter(stock, count -> count > 0) | ^^^^^^^^^^^^^^^^^^ one parameter
- reason
map.filtergives its function each entry's key and its value, so it is written(key, value) -> ..., with a name for each.- next
- Write
(key, value) -> ..., naming both (agent) - rule
- type.
inline_ function_ parameters - help
- https://jadpo.
dev/docs/errors/type. inline_ function_ parameters
Markdown for agents: /docs/errors/type.inline_function_parameters.md.Built from Jadpo main at aee2e8f.