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

Pattern names data a case does not carry.

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

Brackets after a case name the data it carries, and a plain variant carries none:

example

function describe(outcome: PaymentOutcome) -> Label {    return match outcome {        PaymentOutcome.pending(waiting) -> "Pending"        PaymentOutcome.paid -> "Paid"    }}

jadpo checkcheck failed: 1 error, 2 files

error PaymentOutcome.pending carries no data to name

--> main.jadpo:3:31

  |3 |         PaymentOutcome.pending(waiting) -> "Pending"  |                               ^^^^^^^^^ no data

reason: PaymentOutcome.pending is a plain variant; brackets after a case name the data it carries, and this one carries none.
next: Write PaymentOutcome.pending without brackets (agent)
rule: type.match_unknown_binding
help: https://jadpo.dev/docs/errors/type.match_unknown_binding

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