Jadpo is experimental and not ready for production. These docs follow the compiler's main branch as of 5 Nov 2026. What's built · Install 0.3.0

ReferenceErrors

Errors Logic · rule

`failure.outcome_success_missing`

Outcome match has no success arm.

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

example

function missing_success(key: LookupKey) -> LookupResult {    return match lookup(key) {        LookupMissing -> "missing"        LookupRefused -> "refused"    }}

jadpo checkcheck failed: 1 error, 2 files

error This match doesn't handle lookup(...) succeeding

--> main.jadpo:2:12

  |2 |     return match lookup(key) {  |            ^^^^^^^^^^^^^^^^^ no `success(...)` arm

reason: A match on a call's outcome handles its value too, in a success(name) arm, as well as each failure.
next: Add success(value) -> ... as the first arm (agent)
rule: failure.outcome_success_missing
help: https://jadpo.dev/docs/errors/failure.outcome_success_missing

Markdown for agents: /docs/errors/failure.outcome_success_missing.md.Built from Jadpo main at aee2e8f.