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
jadpo
Reference: Logic

Logic · rule

type.match_some_non_optional

Nullable pattern on a value that is never none.

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

example
function describe(label: Label) -> Label {    return match label {        some(name) -> name        _ -> label    }}
text
error: `label` is never `none`, so `some(...)` can't match it --> main.jadpo:3:9  |3 |         some(name) -> name  |         ^^^^^^^^^^ for nullable values  reason: `some(name)` and `none` match a nullable value, written `T?`; `label` is a `Label`.  next: Use `label` directly: it always has a value (agent)  rule: type.match_some_non_optional  help: https://jadpo.dev/docs/errors/type.match_some_non_optionalcheck failed: 1 error, 2 files

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