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

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

jadpo checkcheck failed: 1 error, 2 files

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_optional

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