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.locale_invalid

Locale is not written as a Locale.

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

A locale is a name in Locale, not text; a tag in quotes is the common slip, and the fix is one edit:

example
locales {    default: Locale.en_gb    supported: [Locale.en_gb, "fr-FR"]}
text
error: `"fr-FR"` isn't written as a locale --> main.jadpo:3:31  |3 |     supported: [Locale.en_gb, "fr-FR"]  |                               ^^^^^^^ not a `Locale`  reason: A locale is a name in `Locale`, written `Locale.<tag>` with the tag in lower case and `_` for `-`: `Locale.en_gb` is en-GB. Closed choices are names, not text, so a misspelt one is caught while compiling.  next: Write `Locale.fr_fr` instead (agent)  rule: type.locale_invalid  help: https://jadpo.dev/docs/errors/type.locale_invalidcheck failed: 1 error, 1 file

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