Configuration and time · rule
configuration.url_type
Connection address is not a setting of the type its driver needs.
Area 10, Configuration and time; not declinable; the next step is usually the agent's.
config { cache_url: RedisUrl}
application { connections: { main: { driver: Driver.postgres url: config.cache_url } }}
error: `main`'s address must be a `PostgresUrl` setting --> app.jadpo:5:18 |5 | url: config.cache_url | ^^^^^^^^^^^^^^^^ `cache_url` is `RedisUrl` reason: A connection opened with `driver: Driver.postgres` takes an address of its own type, which checks the scheme and is always secret; `config.cache_url` is `RedisUrl`. next: Declare `<name>: PostgresUrl` in `config.jadpo`, and write `url: config.<name>` (agent) rule: configuration.url_type help: https://jadpo.dev/docs/errors/configuration.url_typecheck failed: 1 error, 2 files
Markdown for agents: /docs/errors/configuration.url_type.md.Built from Jadpo main at a707efb.