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

`type.match_arm_value`

Match arm gives no value.

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

example

action notify(outcome: PaymentOutcome) -> Unit {}action receipt(outcome: PaymentOutcome) -> ReceiptId? {    return match outcome {        PaymentOutcome.pending -> none        PaymentOutcome.paid -> {            notify(outcome)        }    }}

jadpo checkcheck failed: 1 error, 2 files

error This arm gives no value

--> main.jadpo:6:9

  |6 |         PaymentOutcome.paid -> {  |         ^^^^^^^^^^^^^^^^^^^^^^^^ ends without a value

reason: A match used as a value gives one from every arm: an expression, reject or propagate; this block can reach its end without leaving.
next: Write the arm's value after ->, or end the block with return or reject (agent)
rule: type.match_arm_value
help: https://jadpo.dev/docs/errors/type.match_arm_value

Markdown for agents: /docs/errors/type.match_arm_value.md.Built from Jadpo main at aee2e8f.