Logic · rule
type.inline_function_placement
Inline function is not an argument to a collection operation.
Area 3, Logic; not declinable; the next step is usually the agent's.
An inline function is written only as an argument to a standard-library collection operation:
type Stock = Int { min: 0}function same_price(per_pack: Stock) -> Stock { return per_pack}function passed_on(per_pack: Stock) -> Stock { return same_price(item -> per_pack)}
error: An inline function is only an argument to a collection operation --> main.jadpo:10:23 |10 | return same_price(item -> per_pack) | ^^^^^^^^^^^^^^^^ inline function reason: Functions aren't values: `item -> expression` is written only as an argument to a standard-library collection operation, such as `list.map` or `list.filter`. next: Write the expression on its own, or pass it to a collection operation (agent) rule: type.inline_function_placement help: https://jadpo.dev/docs/errors/type.inline_function_placementcheck failed: 1 error, 1 file
Two parameters, (a, b) -> expression, are only for a standard operation
that gives its function two values (area 19):
type Stock = Int { min: 0}function larger(first: Stock, second: Stock) -> Stock { if (first > second) { return first } return second}function dearer(per_pack: Stock) -> Stock { return larger((a, b) -> a, per_pack)}
error: An inline function is only an argument to a collection operation --> main.jadpo:13:19 |13 | return larger((a, b) -> a, per_pack) | ^^^^^^^^^^^ inline function reason: Functions aren't values: `(key, value) -> expression` is written only as an argument to a standard operation that gives its function two values, `list.zip_with`, `map.filter` or `map.map_values`. next: Write the expression on its own, or pass it to a collection operation (agent) rule: type.inline_function_placement help: https://jadpo.dev/docs/errors/type.inline_function_placementcheck failed: 1 error, 1 file
Markdown for agents: /docs/errors/type.inline_function_placement.md.Built from Jadpo main at a707efb.