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_duplicate`

Outcome match repeats its success arm.

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

example

function duplicate_success(key: LookupKey) -> LookupResult {    return match lookup(key) {        success(value) -> value        success(other) -> other        LookupMissing -> "missing"        LookupRefused -> "refused"    }}

jadpo checkcheck failed: 1 error, 2 files

error The success arm is written twice

--> main.jadpo:4:9

  |3 |         success(value) -> value  |         -------------- first matched here4 |         success(other) -> other  |         ^^^^^^^^^^^^^^ matched again

reason: A call succeeds one way, so one success(...) arm takes its value; this one would never run.
next: Remove this arm, or merge its body into the first (agent)
rule: failure.outcome_success_duplicate
help: https://jadpo.dev/docs/errors/failure.outcome_success_duplicate

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