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

`configuration.default_invalid`

Setting value breaks its type's rules.

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

A PostgreSQL address is not a Url:

example

type PrimaryDatabase = Url {}config {    primary_database: PrimaryDatabase {        default: "postgres://localhost:5432/todo"    }}

jadpo checkcheck failed: 1 error, 1 file

error "postgres://localhost:5432/todo" isn't a valid PrimaryDatabase

--> main.jadpo:5:18

  |5 |         default: "postgres://localhost:5432/todo"  |                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ not a valid value

reason: The value isn't an http:// or https:// URL with a host, such as https://example.com; a default is checked while compiling, with the rules of the setting's type.
next: Write a valid PrimaryDatabase value (agent)
rule: configuration.default_invalid
help: https://jadpo.dev/docs/errors/configuration.default_invalid

Markdown for agents: /docs/errors/configuration.default_invalid.md.Built from Jadpo main at aee2e8f.