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: Configuration and time

Configuration and time · rule

type.temporal_zone_required

Formatting an instant needs a zone.

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

example
type OrderedAt = Instant {}function placed_label(ordered_at: OrderedAt, reader_locale: Locale) -> PresentationText {    return text.format(ordered_at, locale: reader_locale, format: TimeFormat.date_long)}
text
error: `text.format` needs the zone to show `OrderedAt` in --> main.jadpo:4:12  |4 |     return text.format(ordered_at, locale: reader_locale, format: TimeFormat.date_long)  |            ^^^^^^^^^^^ no `zone:`  reason: An `Instant` is one moment for everyone, and its date and clock time depend on where it is read; the server never guesses a zone, so `zone:` says which.  next: Add `zone: ...` with the reader's zone, such as `zone: Zone.europe_london` (agent)  rule: type.temporal_zone_required  help: https://jadpo.dev/docs/errors/type.temporal_zone_requiredcheck failed: 1 error, 1 file

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