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.missing_variant_field`

Variant is missing a field.

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

example

type ReceiptId = Uuid {}type PaymentOutcome = Enum {    pending    paid: {        receipt_id: ReceiptId    }}function paid() -> PaymentOutcome {    return PaymentOutcome.paid {}}

jadpo checkcheck failed: 1 error, 1 file

error PaymentOutcome.paid is missing receipt_id

--> main.jadpo:11:12

   |11 |     return PaymentOutcome.paid {}   |            ^^^^^^^^^^^^^^^^^^^ fields missing

reason: Every field of PaymentOutcome.paid is given when a value is built; a field that may be absent is declared T? and given as none.
next: Add receipt_id: ... to the block (agent)
rule: type.missing_variant_field
help: https://jadpo.dev/docs/errors/type.missing_variant_field

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