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

Option means nothing for this value.

Area 10, Configuration; not declinable; the next step is usually the agent's.

example

type ShopDay = CalendarDate {}function next_day(day: ShopDay) -> ShopDay {    return temporal.add_days(day, 1, dst: Dst.compatible)}

jadpo checkcheck failed: 1 error, 1 file

error dst: means nothing for a ShopDay

--> main.jadpo:4:38

  |4 |     return temporal.add_days(day, 1, dst: Dst.compatible)  |                                      ^^^ `ShopDay` has no clock time

reason: dst: chooses an instant when a local time falls in a daylight-saving gap or overlap; temporal.add_days on a ShopDay moves a date, which has no clock time, so no such time arises.
next: Remove dst: ... (agent)
rule: type.temporal_option_unused
help: https://jadpo.dev/docs/errors/type.temporal_option_unused

zone: on a date or a local time is reported the same way: a ZonedTime carries its zone, and a CalendarDate has none.

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