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: Logic

Logic · rule

type.assign_unknown

Assignment target is not declared.

Area 3, Logic; not declinable; the next step is usually the agent's.

example
type Count = Int {}function total(count: Count) -> Count {    running = count    return count}
text
error: `running` isn't declared --> main.jadpo:4:5  |4 |     running = count  |     ^^^^^^^ not declared  reason: An assignment changes a `var mut` declared earlier in this block or one around it.  next: Declare it first, as in `var mut running: Count = ...` (agent)  rule: type.assign_unknown  help: https://jadpo.dev/docs/errors/type.assign_unknowncheck failed: 1 error, 1 file

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