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
jadpo
ReferenceErrors

ErrorsLogic · 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}
jadpo checkcheck failed: 1 error, 1 file

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_unknown

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