Jadpo is experimental and not ready for production. These docs follow the compiler's main branch as of 30 Oct 2026. What's built · Install 0.1.0
jadpo
Reference: Logic

Logic · rule

failure.outcome_missing_arm

Outcome match does not handle every failure.

Area 3, Logic; not declinable; the next step is usually the agent's.

example
function missing_failure(key: LookupKey) -> LookupResult {    return match lookup(key) {        success(value) -> value        LookupMissing -> "missing"    }}
text
error: This `match` doesn't handle `LookupRefused` --> main.jadpo:2:12  |2 |     return match lookup(key) {  |            ^^^^^^^^^^^^^^^^^ failures not handled  reason: `lookup(...)` can fail with `LookupMissing` and `LookupRefused`, and a `match` on its outcome has an arm for every one: a value, `reject` or `propagate`.  next: Add an arm for `LookupRefused` (agent)  rule: failure.outcome_missing_arm  help: https://jadpo.dev/docs/errors/failure.outcome_missing_armcheck failed: 1 error, 2 files

Markdown for agents: /docs/errors/failure.outcome_missing_arm.md.Built from Jadpo main at a707efb.