Logic · rule
failure.attempt_required
Call that can fail is not handled.
Area 3, Logic; not declinable; the next step is usually the agent's.
type Note = Text {}type Refused = Failure { kind: FailureKind.rejected}action child(note: Note) fails Refused -> Note { reject Refused}action parent(note: Note) fails Refused -> Note { return child(note)}
error: `child` can fail, and nothing handles it --> main.jadpo:12:12 |12 | return child(note) | ^^^^^^^^^^^ can fail with `Refused` reason: A call that can fail says so where it is made: `attempt` passes its failures on to the caller's `fails` list, and `match` handles each one. next: Start the statement with `attempt`, or `match` on `child(...)` and handle `Refused` (agent) rule: failure.attempt_required help: https://jadpo.dev/docs/errors/failure.attempt_requiredcheck failed: 1 error, 1 file
Markdown for agents: /docs/errors/failure.attempt_required.md.Built from Jadpo main at a707efb.