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

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"    }}
jadpo checkcheck failed: 1 error, 2 files

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_variant

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