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

Pattern cannot match this value.

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

example

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

jadpo checkcheck failed: 1 error, 2 files

error A Bool can't match a DeliveryState

--> main.jadpo:3:9

  |3 |         true -> "Yes"  |         ^^^^ wrong kind of pattern

reason: A DeliveryState is matched by its variants, such as DeliveryState.pending.
next: Write a pattern for a DeliveryState (agent)
rule: type.match_pattern_type
help: https://jadpo.dev/docs/errors/type.match_pattern_type

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