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_subject_required

Outcome match is not on a call.

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

example
type LookupKey = Text {}function not_a_call(key: LookupKey) -> LookupKey {    return match key {        success(value) -> value    }}
text
error: `key` isn't a call, so it has no outcome to match --> main.jadpo:4:12  |4 |     return match key {  |            ^^^^^^^^^ not a call  reason: `success(...)` and failure arms match the outcome of a call that can fail; a value is matched by its own cases, such as an enum's variants.  next: Match `key`'s cases, or match on the call that can fail (agent)  rule: failure.outcome_subject_required  help: https://jadpo.dev/docs/errors/failure.outcome_subject_requiredcheck failed: 1 error, 1 file

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