Logic · rule
toolchain.not_built_yet
Operation is declared but not built yet.
Area 3, Logic; not declinable; the next step is usually the agent's.
The language declares some operations that aren't built yet, such as the
generated oauth.approve (area 8). Calling one is an error rather than a
program that can't run:
type ConsentId = Uuid {}action approve_consent(consent: ConsentId) -> Unit { oauth.approve(consent)}
error: `oauth.approve` isn't built yet --> main.jadpo:4:5 |4 | oauth.approve(consent) | ^^^^^^^^^^^^^ declared, not built reason: The language declares `oauth.approve`, but this compiler has nothing to run it with yet, so a program that calls it couldn't run. next: Do without `oauth.approve` for now (agent) rule: toolchain.not_built_yet help: https://jadpo.dev/docs/errors/toolchain.not_built_yetcheck failed: 1 error, 1 file
Markdown for agents: /docs/errors/toolchain.not_built_yet.md.Built from Jadpo main at a707efb.