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 Values and types · rule

`type.nullable_selection`

Field is read from a value that may be none.

Area 2, Values and types; not declinable; the next step is usually the agent's.

example

type ProductName = Text {    max_length: 120}type Product = Object {    name: ProductName}function listed_name(product: Product?) -> ProductName {    return product.name}

jadpo checkcheck failed: 1 error, 1 file

error product may be none, so name can't be read yet

--> main.jadpo:10:20

   |10 |     return product.name   |                    ^^^^ may be `none`

reason: product is Product?; a field is read once match has found a value.
next: Match on product and read name inside some(...) (agent)
rule: type.nullable_selection
help: https://jadpo.dev/docs/errors/type.nullable_selection

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