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_format_invalid

Format is not a written-out time format.

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,    zone: Zone,    reader_locale: Locale) -> PresentationText {    return text.format(        ordered_at,        zone: zone,        locale: reader_locale,        format: TimeFormat.date_longest    )}
text
error: `TimeFormat.date_longest` isn't a time format --> main.jadpo:12:17   |12 |         format: TimeFormat.date_longest   |                 ^^^^^^^^^^^^^^^^^^^^^^^ not a format  reason: `text.format`'s `format:` is written out: a built-in format, `TimeFormat.` followed by `date_`, `time_` or `date_time_` and `full`, `long`, `medium` or `short`, or the name of a format declared as `type Name = TimeFormat { ... }`.  next: Write a built-in format such as `TimeFormat.date_long`, or declare one with `type Name = TimeFormat { ... }` (agent)  rule: type.temporal_format_invalid  help: https://jadpo.dev/docs/errors/type.temporal_format_invalidcheck failed: 1 error, 1 file

A format named as the type of a field, a parameter or a variable, or used as a value, is reported the same way: it holds no value.

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