Logic · rule
semantic.unused_variable
Variable is never used.
Area 3, Logic; not declinable; the next step is usually the agent's.
type Stock = Int { min: 0}function with_delivery(per_pack: Stock, delivery: Stock) -> Stock { var needed: Stock = per_pack return Stock(per_pack + delivery)}
error: `needed` is never used --> main.jadpo:6:9 |6 | var needed: Stock = per_pack | ^^^^^^ never read reason: A value nobody reads is never bound to a name, so a reader never wonders what it was for. next: Use `needed`, or remove its `var` line (agent) rule: semantic.unused_variable help: https://jadpo.dev/docs/errors/semantic.unused_variablecheck failed: 1 error, 1 file
Markdown for agents: /docs/errors/semantic.unused_variable.md.Built from Jadpo main at a707efb.