Logic · rule
effect.recursive_action
Action is part of a call cycle.
Area 3, Logic; not declinable; the next step is usually the human's.
Only functions may call themselves; an action in a call cycle is reported at the call that closes it:
type Count = Int { min: 0}action ping(count: Count) -> Unit { pong(count)}action pong(count: Count) -> Unit { ping(count)}
error: Action `pong` is in a call cycle: `ping` → `pong` → `ping` --> main.jadpo:10:5 |10 | ping(count) | ^^^^ calls back round reason: Only functions may call themselves; an action in a call cycle repeats its effects with no data reason, and an unbounded one never finishes. next: Move the repeated logic into a function, or loop over a list with `for` (human) rule: effect.recursive_action help: https://jadpo.dev/docs/errors/effect.recursive_actioncheck failed: 1 error, 1 file
Markdown for agents: /docs/errors/effect.recursive_action.md.Built from Jadpo main at a707efb.