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

Logic · rule

`type.match_unknown_variant`

Pattern names an unknown enum variant.

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

example

function describe(state: DeliveryState) -> Label {    return match state {        DeliveryState.pending -> "Pending"        DeliveryState.snet -> "Sent"        DeliveryState.failed -> "Failed"    }}

text

error: `DeliveryState` has no variant `snet` --> main.jadpo:4:23  |4 |         DeliveryState.snet -> "Sent"  |                       ^^^^ not a variant  reason: `DeliveryState`'s variants are `pending`, `sent` and `failed`. Did you mean `sent`?  next: Use `DeliveryState.sent` (agent)  rule: type.match_unknown_variant  help: https://jadpo.dev/docs/errors/type.match_unknown_variantcheck failed: 1 error, 2 files

Markdown for agents: /docs/errors/type.match_unknown_variant.md.Built from Jadpo main at a707efb.