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
jadpo
ReferenceErrors

ErrorsLogic · 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    }}
jadpo checkcheck failed: 1 error, 1 file

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_required

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