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

Outcome match arm has a pattern for values.

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

A match on a call's outcome has no patterns for values:

example

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

jadpo checkcheck failed: 1 error, 2 files

error none can't match a call's outcome

--> main.jadpo:6:9

  |6 |         none -> "nothing"  |         ^^^^ a pattern for values

reason: A match on lookup(...) has a success(name) arm for its value and an arm for each failure it can give; to look at the value's own cases, match on the success value.
next: Remove this arm, or match on the success value inside success(...) (agent)
rule: failure.outcome_pattern_invalid
help: https://jadpo.dev/docs/errors/failure.outcome_pattern_invalid

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